bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Erase regions from CallArgument, add test + bless

Browse source
This commit is contained in:
Michael Goulet 2022-10-27 16:22:06 +00:00
parent dce44faf5b
commit 4e0c27bbfd
5 changed files with 73 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -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
};