Use ReEmpty(U0) as the implicit region bound in typeck
#74509
Merged
ReEmpty(U0) as the implicit region bound in typeck
#74509