pub type TraitRef = ItemRef;
Expand description
Reflects ty::TraitRef
Contains the def_id and arguments passed to the trait. The first type argument is the Self
type. The ImplExprs
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 {
pub(crate) contents: Node<ItemRefContents>,
}
Fields§
§contents: Node<ItemRefContents>