Type Alias TraitRef

Source
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>