user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Start of generic impl fix for rustdoc

Browse source
This commit is contained in:
Guillaume Gomez 2018-07-15 23:37:40 +02:00
parent 32772fddd5
commit 54ea8eb232
2 changed files with 35 additions and 48 deletions
Download patch file Download diff file Expand all files Collapse all files

27
src/librustdoc/clean/auto_trait.rs
View file

@ -8,9 +8,9 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
use rustc::traits::auto_trait as auto;
use rustc::ty::TypeFoldable;
use rustc::hir;
use rustc::{self, hir};
use rustc::traits::{self, auto_trait as auto};
use rustc::ty::{ToPredicate, TypeFoldable};
use std::fmt::Debug;
use super::*;
@ -82,6 +82,27 @@ impl<'a, 'tcx, 'rcx> AutoTraitFinder<'a, 'tcx, 'rcx> {
name: Option<String>,
) -> Vec<Item>
where F: Fn(DefId) -> Def {
if ::std::env::var("LOL").is_ok() {
let ty = self.cx.tcx.type_of(def_id);
if let ty::TyAdt(_adt, _) = ty.sty {
let subts = ty::subst::Substs::identity_for_item(self.cx.tcx.clone(), def_id);
self.cx.tcx.infer_ctxt().enter(|infcx| {
for impl_ in infcx.tcx.all_trait_implementations(LOCAL_CRATE).iter() {
let trait_ref = rustc::ty::TraitRef::new(*impl_, subts);
let pred = trait_ref.to_predicate();
let obligation = traits::Obligation::new(traits::ObligationCause::dummy(),
rustc::ty::ParamEnv::empty(),
pred);
println!("{} => {}",
infcx.tcx.item_name(*impl_).to_string(),
infcx.predicate_may_hold(&obligation));
}
});
}
}
//let res = self.cx.tcx.trait_impls_of(def_id);
//println!("=> {:?} {:?}", res.blanket_impls.len(), res.non_blanket_impls.len());
if self.cx
.tcx
.get_attrs(def_id)