Type Alias TraitRef 

pub type TraitRef<'db> = TraitRef<DbInterner<'db>>;

Aliased Type

pub struct TraitRef<'db> {
    pub def_id: TraitIdWrapper,
    pub args: GenericArgs<'db>,
    /* private fields */
}

Fields

def_id: TraitIdWrapper

args: GenericArgs<'db>

Trait Implementations

impl<'db> ToTrace<'db> for TraitRef<'db>

fn to_trace(cause: &ObligationCause, a: Self, b: Self) -> TypeTrace<'db>