Use try_normalize_erasing_regions instead of a custom infer context

This unfortunately is still giving an unsilenceable overflow error :(
This commit is contained in:
Joshua Nelson
2021-12-01 19:00:27 +00:00
parent f04a2f4b8e
commit 18ddf8d636
4 changed files with 51 additions and 13 deletions

View File

@@ -0,0 +1,3 @@
// aux-crate:overflow=overflow.rs
// check-pass
// Regression test for <https://github.com/rust-lang/rust/issues/79506>.