pub fn trait_def(did: DefId) -> TraitDef