Widen by-ref use variables with the types they hold at calls and yields inside the closure body

Widen by-ref use variables with the types they hold at calls and yields inside the closure body #16385