Struct AssocTy 

pub struct AssocTy<'tcx> {
    def_id: DefId,
    args: Option<GenericArgsRef<'tcx>>,
    param_env: ParamEnv<'tcx>,
    implied_predicates: GenericPredicates<'tcx>,
    associated_item: AssocItem<'tcx>,
}

Associated type: trait MyTrait { type Assoc; }

Fields

def_id: DefId

args: Option<GenericArgsRef<'tcx>>

param_env: ParamEnv<'tcx>

implied_predicates: GenericPredicates<'tcx>

associated_item: AssocItem<'tcx>

Implementations

impl<'tcx> AssocTy<'tcx>

pub fn param_env(&self) -> &ParamEnv<'tcx>

pub fn implied_predicates(&self) -> &GenericPredicates<'tcx>

pub fn associated_item(&self) -> &AssocItem<'tcx>

pub fn value( &self, s: &impl BaseState<'tcx>, ) -> Option<(Ty<'tcx>, Vec<TraitProof<'tcx>>)>

The value for this associated type, along with proofs of the required predicates. If we’re in a trait decl, this has a value iff the type has a default; if we’re in a trait impl, this has a value iff the impl provides its own value for it.

Trait Implementations

impl<'tcx> Clone for AssocTy<'tcx>

fn clone(&self) -> AssocTy<'tcx>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Debug for AssocTy<'tcx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.