bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

remove dummy UniverseInfo causes from type checker type_check

Browse source 
This was pre-filling causes for universes that could already exist in
the InferCtxt. We don't need to do that anymore: `other()` is the default when
there is no registered universe cause.
This commit is contained in:
Rémy Rakic 2023-08-31 11:16:35 +00:00
parent 407695132c
commit ae963b560f
1 changed files with 0 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/rustc_borrowck/src/type_check/mod.rs
View file

@ -163,10 +163,6 @@ pub(crate) fn type_check<'mir, 'tcx>(
debug!(?normalized_inputs_and_output); debug!(?normalized_inputs_and_output);
for u in ty::UniverseIndex::ROOT..=infcx.universe() {
constraints.universe_causes.insert(u, UniverseInfo::other());
}
let mut borrowck_context = BorrowCheckContext { let mut borrowck_context = BorrowCheckContext {
universal_regions, universal_regions,
location_table, location_table,