Skip to content
Permalink
Browse files

added a few comments

  • Loading branch information...
nikomatsakis authored and alexreg committed May 8, 2019
1 parent 2cdd7f8 commit 963e22c38c97f342338b9d93ca5be58418fb535f
Showing with 5 additions and 0 deletions.
  1. +5 −0 src/librustc_typeck/astconv.rs
@@ -571,6 +571,7 @@ impl<'o, 'gcx: 'tcx, 'tcx> dyn AstConv<'gcx, 'tcx> + 'o {
/// Given the type/lifetime/const arguments provided to some path (along with
/// an implicit `Self`, if this is a trait reference), returns the complete
/// set of substitutions. This may involve applying defaulted type parameters.
/// Also returns back constriants on associated types.
///
/// Note that the type listing given here is *exactly* what the user provided.
fn create_substs_for_ast_path<'a>(&self,
@@ -1091,6 +1092,10 @@ impl<'o, 'gcx: 'tcx, 'tcx> dyn AstConv<'gcx, 'tcx> + 'o {
}), binding.span));
}
ConvertedBindingKind::Constraint(ref ast_bounds) => {
// "Desugar" a constraint like `T: Iterator<Item: Debug>` to
//
// `<T as Iterator>::Item: Debug`
//
// Calling `skip_binder` is okay, because the predicates are re-bound later by
// `instantiate_poly_trait_ref`.
let param_ty = tcx.mk_projection(assoc_ty.def_id, candidate.skip_binder().substs);

0 comments on commit 963e22c

Please sign in to comment.
You can’t perform that action at this time.