bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

never normalize without eager inference replacement

Browse source
This commit is contained in:
lcnr 2024-01-29 09:24:19 +01:00
parent bea5bebf3d
commit 486c7b6a50
3 changed files with 11 additions and 82 deletions
Download patch file Download diff file Expand all files Collapse all files

3
compiler/rustc_trait_selection/src/traits/select/mod.rs
View file

@ -22,7 +22,6 @@ use super::{
use crate::infer::{InferCtxt, InferOk, TypeFreshener};
use crate::solve::InferCtxtSelectExt;
use crate::traits::error_reporting::TypeErrCtxtExt;
use crate::traits::project::try_normalize_with_depth_to;
use crate::traits::project::ProjectAndUnifyResult;
use crate::traits::project::ProjectionCacheKeyExt;
use crate::traits::ProjectionCacheKey;
@ -1070,7 +1069,7 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
&& fresh_trait_pred.is_global()
{
let mut nested_obligations = Vec::new();
let predicate = try_normalize_with_depth_to(
let predicate = normalize_with_depth_to(
this,
param_env,
obligation.cause.clone(),