Attempt to pacify CI

estebank · estebank · commit 670d20d07907 · 2021-04-06T13:00:57.000-07:00
diff --git a/compiler/rustc_trait_selection/src/traits/select/confirmation.rs b/compiler/rustc_trait_selection/src/traits/select/confirmation.rs
@@ -538,7 +538,7 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
         {
             // Do not allow `foo::<fn() -> A>();` for `A: !Sized` (#82633)
             let fn_sig = obligation.predicate.self_ty().skip_binder().fn_sig(self.tcx());
-            let ty = fn_sig.output().skip_binder();
+            let ty = self.infcx.replace_bound_vars_with_placeholders(fn_sig.output());
             let trait_ref = ty::TraitRef {
                 def_id: lang_items.sized_trait().unwrap(),
                 substs: self.tcx().mk_substs_trait(ty, &[]),

Original file line number	Diff line number	Diff line change
`@@ -538,7 +538,7 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {`
`538`	`538`	`{`
`539`	`539`	// Do not allow `foo::<fn() -> A>();` for `A: !Sized` (#82633)
`540`	`540`	`let fn_sig = obligation.predicate.self_ty().skip_binder().fn_sig(self.tcx());`
`541`		`- let ty = fn_sig.output().skip_binder();`
	`541`	`+ let ty = self.infcx.replace_bound_vars_with_placeholders(fn_sig.output());`
`542`	`542`	`let trait_ref = ty::TraitRef {`
`543`	`543`	`def_id: lang_items.sized_trait().unwrap(),`
`544`	`544`	`substs: self.tcx().mk_substs_trait(ty, &[]),`