pub type TraitRef<'tcx> = ItemRef<'tcx>;Expand description
Reflects [ty::TraitRef]
Contains the def_id and arguments passed to the trait. The first type argument is the Self
type. The trait proofs are the required predicate for this trait; currently they are always
empty because we consider all trait predicates as implied.
self.in_trait is always None because a trait can’t be associated to another one.
Aliased Type§
pub struct TraitRef<'tcx> {
pub(crate) contents: Interned<'tcx, ItemRefContents<'tcx>>,
}Fields§
§contents: Interned<'tcx, ItemRefContents<'tcx>>