Skip to content

Commit a900427

Browse files
nikomatsakisAlexander Regueiro
authored and
Alexander Regueiro
committed
verified that skip-binder is ok
1 parent e48dd12 commit a900427

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/librustc_typeck/astconv.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -1149,8 +1149,8 @@ impl<'o, 'gcx: 'tcx, 'tcx> dyn AstConv<'gcx, 'tcx> + 'o {
11491149
//
11501150
// `<T as Iterator>::Item: Debug`
11511151
//
1152-
// Calling `skip_binder` is okay, because the predicates are re-bound later by
1153-
// `instantiate_poly_trait_ref`.
1152+
// Calling `skip_binder` is okay, because `add_bounds` expects the `param_ty`
1153+
// parameter to have a skipped binder.
11541154
let param_ty = tcx.mk_projection(assoc_ty.def_id, candidate.skip_binder().substs);
11551155
self.add_bounds(
11561156
param_ty,

0 commit comments

Comments
 (0)