Do not consider match/let/ref of place that evaluates to ! to diverge, disallow coercions from them too
#137440
| Job | Run time |
|---|---|
| 9s | |
| 36m 38s | |
| 6m 41s | |
| 1h 11m 5s | |
| 51m 13s | |
| 0s | |
| 2h 45m 46s |