This commit is contained in:
Alexandre Martin 2018-03-15 23:20:06 +01:00 committed by GitHub
parent 4eaa85d3be
commit ef3b4e1f5b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -117,7 +117,7 @@ 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)