mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-01 07:13:24 +03:00
Jonathan Brouwer
828e302c7b
Compute the result of a projection type with region errors Fixes: rust-lang/rust#152682 With the old trait solver, `type_known_to_meet_bound_modulo_regions()` isn't really operating "modulo regions" if there are any region errors, since `normalize` will just return a type error to the trait solver if given a ty with a region error, which then starts cascading when there are so many assumptions. So I think it would be good to erase regions if there are any region errors before we normalize the type when collecting predicates for confirmation. That said, I somehow feel like this is kind of ad-hoc... I'd really appreciate if someone more familiar with this code could take a closer look :3
For more information about how rustc works, see the rustc dev guide.