]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #96383 - compiler-errors:issue-96381, r=estebank
authorDylan DPC <99973273+Dylan-DPC@users.noreply.github.com>
Wed, 27 Apr 2022 00:47:10 +0000 (02:47 +0200)
committerGitHub <noreply@github.com>
Wed, 27 Apr 2022 00:47:10 +0000 (02:47 +0200)
commit5645732b041ff1f3e7cee585d454613a9e7c43f0
tree589674d090636878ff6e84c0cbe5f8f54b44f055
parente63da0ba000b94c932aa6e166a02cebe9bf2c719
parent8a28aa48d20ac4fd64d47815b84f1daf0c62f460
Rollup merge of #96383 - compiler-errors:issue-96381, r=estebank

Fix erased region escaping into wfcheck due to #95395

We can just use `liberate_late_bound_regions` instead of `erase_late_bound_regions`... This gives us `ReEarlyBound` instead of `ReErased`, the former being something typeck actually knows how to deal with...

Fixes #96381

Side-note: We only actually get far enough in the compiler pipeline to cause this ICE when we're invoking rustdoc. We actually abort rustc right before wfcheck because of the error that we emit (having `_` in the type signature). Why does rustdoc keep going even though we raise an error?