]> git.lizzy.rs Git - rust.git/commit
Auto merge of #91255 - b-naber:normalization-ice, r=jackh276
authorbors <bors@rust-lang.org>
Wed, 1 Dec 2021 13:33:33 +0000 (13:33 +0000)
committerbors <bors@rust-lang.org>
Wed, 1 Dec 2021 13:33:33 +0000 (13:33 +0000)
commitf04a2f4b8e89eac1119061ea2055d33c97e618b4
tree915594a7e1efa285136276bd9bd1a87b81be1365
parent26b45573be204da2cc0db12828b7a03c41c73793
parent6952470095180e74d59ae372d06a75818368000b
Auto merge of #91255 - b-naber:normalization-ice, r=jackh276

Implement version of normalize_erasing_regions that allows for normalization failure

Fixes https://github.com/rust-lang/rust/issues/59324
Fixes https://github.com/rust-lang/rust/issues/67684
Fixes https://github.com/rust-lang/rust/issues/69398
Fixes https://github.com/rust-lang/rust/issues/71113
Fixes https://github.com/rust-lang/rust/issues/82079
Fixes #85103
Fixes https://github.com/rust-lang/rust/issues/88856
Fixes #91231
Fixes https://github.com/rust-lang/rust/issues/91234

Previously we called `normalize_erasing_regions` inside `layout_of`. `normalize_erasing_regions` assumes that the normalization succeeds. Since some `layout_of` calls happen before typecheck has finished, we introduce a new variant that allows for returning an error.