Do not consider match/let/ref of place that evaluates to ! to diverge, disallow coercions from them too#129392
Merged
bors merged 6 commits intoOct 6, 2024
! to diverge, disallow coercions from them too#129392