bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Deeply normalize args for implied bounds

Browse source
This commit is contained in:
Michael Goulet 2025-01-25 21:39:59 +00:00
parent a02a982ffc
commit ce0c952e96
2 changed files with 23 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_borrowck/src/type_check/free_region_relations.rs
View file

@ -264,7 +264,7 @@ impl<'tcx> UniversalRegionRelationsBuilder<'_, 'tcx> {
}
let TypeOpOutput { output: norm_ty, constraints: constraints_normalize, .. } =
param_env
.and(type_op::normalize::Normalize { value: ty })
.and(DeeplyNormalize { value: ty })
.fully_perform(self.infcx, span)
.unwrap_or_else(|guar| TypeOpOutput {
output: Ty::new_error(self.infcx.tcx, guar),