Skip to content

Commit b4a832a

Browse files
committed
ignore regions in codegen_resolve_obligation
1 parent 8bd12e8 commit b4a832a

File tree

1 file changed

+2
-2
lines changed
  • compiler/rustc_trait_selection/src/traits

1 file changed

+2
-2
lines changed

compiler/rustc_trait_selection/src/traits/codegen.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -51,7 +51,7 @@ pub fn codegen_fulfill_obligation<'tcx>(
5151
// Currently, we use a fulfillment context to completely resolve
5252
// all nested obligations. This is because they can inform the
5353
// inference of the impl's type parameters.
54-
let mut fulfill_cx = FulfillmentContext::new();
54+
let mut fulfill_cx = FulfillmentContext::new_ignoring_regions();
5555
let impl_source = selection.map(|predicate| {
5656
fulfill_cx.register_predicate_obligation(&infcx, predicate);
5757
});
@@ -65,7 +65,7 @@ pub fn codegen_fulfill_obligation<'tcx>(
6565
}
6666

6767
let impl_source = infcx.resolve_vars_if_possible(impl_source);
68-
let impl_source = infcx.tcx.erase_regions(impl_source);
68+
let impl_source = tcx.erase_regions(impl_source);
6969

7070
// Opaque types may have gotten their hidden types constrained, but we can ignore them safely
7171
// as they will get constrained elsewhere, too.

0 commit comments

Comments
 (0)