Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/next_solver/generic_arg.rs')
| -rw-r--r-- | crates/hir-ty/src/next_solver/generic_arg.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/hir-ty/src/next_solver/generic_arg.rs b/crates/hir-ty/src/next_solver/generic_arg.rs index 75df2b541e..51f070cd64 100644 --- a/crates/hir-ty/src/next_solver/generic_arg.rs +++ b/crates/hir-ty/src/next_solver/generic_arg.rs @@ -579,7 +579,7 @@ impl<'db> GenericArgs<'db> { { let defaults = interner.db.generic_defaults(def_id); Self::for_item(interner, def_id.into(), |idx, id, prev| match defaults.get(idx as usize) { - Some(default) => default.instantiate(interner, prev), + Some(default) => default.instantiate(interner, prev).skip_norm_wip(), None => fallback(idx, id, prev), }) } @@ -614,7 +614,7 @@ impl<'db> GenericArgs<'db> { Self::fill_rest(interner, def_id.into(), first, |idx, id, prev| { defaults .get(idx as usize) - .map(|default| default.instantiate(interner, prev)) + .map(|default| default.instantiate(interner, prev).skip_norm_wip()) .unwrap_or_else(|| fallback(idx, id, prev)) }) } |