diff options
| author | Michael Goulet <michael@errs.io> | 2022-10-27 16:22:06 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2022-10-27 16:26:55 +0000 |
| commit | 4e0c27bbfd263580c971aee1ef6960914e20a7ff (patch) | |
| tree | 383a8174260203b28e98d09b67b32191484122c6 /compiler/rustc_borrowck/src | |
| parent | dce44faf5b11cc9dd4491d7ed9211455f81bbdf2 (diff) | |
Erase regions from CallArgument, add test + bless
Diffstat (limited to 'compiler/rustc_borrowck/src')
| -rw-r--r-- | compiler/rustc_borrowck/src/type_check/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_borrowck/src/type_check/mod.rs b/compiler/rustc_borrowck/src/type_check/mod.rs index dc0f0e7cd3c..42c92e56e16 100644 --- a/compiler/rustc_borrowck/src/type_check/mod.rs +++ b/compiler/rustc_borrowck/src/type_check/mod.rs @@ -1630,7 +1630,7 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> { let op_arg_ty = self.normalize(op_arg_ty, term_location); let category = if from_hir_call { - ConstraintCategory::CallArgument(func_ty) + ConstraintCategory::CallArgument(self.infcx.tcx.erase_regions(func_ty)) } else { ConstraintCategory::Boring }; |