Do not erase regions

estebank · estebank · commit fcf0ed90187a · 2023-01-23T14:47:00.000Z
diff --git a/compiler/rustc_hir_typeck/src/demand.rs b/compiler/rustc_hir_typeck/src/demand.rs
@@ -719,7 +719,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
             .infcx
             .type_implements_trait(
                 self.tcx.get_diagnostic_item(sym::Into).unwrap(),
-                [self.tcx.erase_regions(f), self.tcx.erase_regions(e)],
+                [f, e],
                 self.param_env,
             )
             .must_apply_modulo_regions()

Original file line number	Diff line number	Diff line change
`@@ -719,7 +719,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {`
`719`	`719`	`.infcx`
`720`	`720`	`.type_implements_trait(`
`721`	`721`	`self.tcx.get_diagnostic_item(sym::Into).unwrap(),`
`722`		`- [self.tcx.erase_regions(f), self.tcx.erase_regions(e)],`
	`722`	`+ [f, e],`
`723`	`723`	`self.param_env,`
`724`	`724`	`)`
`725`	`725`	`.must_apply_modulo_regions()`