diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2018-03-15 14:27:00 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-15 14:27:00 -0400 |
| commit | 4eaa85d3be27ceec2247eb1b83ca83b2ac92b3da (patch) | |
| tree | 44934104709b9f5999604a9e55f78190d59e675e | |
| parent | e8f3ed5db26981d2b5417a9de1d16f33770d8ff4 (diff) | |
| download | rust-4eaa85d3be27ceec2247eb1b83ca83b2ac92b3da.tar.gz rust-4eaa85d3be27ceec2247eb1b83ca83b2ac92b3da.zip | |
add xref to rust-guide
| -rw-r--r-- | src/librustc_traits/lowering.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/librustc_traits/lowering.rs b/src/librustc_traits/lowering.rs index 296ad18c480..ae52e83cdc2 100644 --- a/src/librustc_traits/lowering.rs +++ b/src/librustc_traits/lowering.rs @@ -117,6 +117,10 @@ fn program_clauses_for_impl<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>, def_id: DefId if let ImplPolarity::Negative = tcx.impl_polarity(def_id) { return Lrc::new(vec![]); } + + // Rule Implemented-From-Impl + // + // (see rustc guide) let trait_ref = tcx.impl_trait_ref(def_id).unwrap(); let trait_ref = ty::TraitPredicate { trait_ref }.lower(); |