Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/drop.rs')
| -rw-r--r-- | crates/hir-ty/src/drop.rs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/crates/hir-ty/src/drop.rs b/crates/hir-ty/src/drop.rs index 07c705ee2f..d4a948c7b2 100644 --- a/crates/hir-ty/src/drop.rs +++ b/crates/hir-ty/src/drop.rs @@ -87,7 +87,7 @@ fn has_drop_glue_impl<'db>( .map(|(_, field_ty)| { has_drop_glue_impl( infcx, - field_ty.get().instantiate(infcx.interner, subst), + field_ty.get().instantiate(infcx.interner, subst).skip_norm_wip(), env, visited, ) @@ -107,7 +107,10 @@ fn has_drop_glue_impl<'db>( .map(|(_, field_ty)| { has_drop_glue_impl( infcx, - field_ty.get().instantiate(infcx.interner, subst), + field_ty + .get() + .instantiate(infcx.interner, subst) + .skip_norm_wip(), env, visited, ) |