Struct AssocFn 

pub struct AssocFn<'tcx> {
    def_id: DefId,
    args: Option<GenericArgsRef<'tcx>>,
    rustc_sig: PolyFnSig<'tcx>,
    param_env: ParamEnv<'tcx>,
    associated_item: AssocItem<'tcx>,
    inline: InlineAttr,
    sig: PolyFnSig<'tcx>,
    fn_trait_impls: OnceCell<Option<FnTraitImpls<'tcx>>>,
}

Associated function: impl MyStruct { fn associated() {} } or trait Foo { fn associated() {} }

Fields

def_id: DefId

args: Option<GenericArgsRef<'tcx>>

rustc_sig: PolyFnSig<'tcx>

The signature, instantiated with args if relevant.

param_env: ParamEnv<'tcx>

associated_item: AssocItem<'tcx>

inline: InlineAttr

sig: PolyFnSig<'tcx>

fn_trait_impls: OnceCell<Option<FnTraitImpls<'tcx>>>

Computed on demand, see AssocFn::fn_trait_impls.

Implementations

impl<'tcx> AssocFn<'tcx>

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

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

pub fn inline(&self) -> &InlineAttr

pub fn vtable_sig(&self, s: &impl BaseState<'tcx>) -> Option<PolyFnSig<'tcx>>

The function signature when this method is used in a vtable. None if this method is not vtable safe. Some(sig) if it is vtable safe, where sig is the trait method declaration’s signature with Self replaced by dyn Trait and associated types normalized.

pub fn vtable_receiver_path(&self, s: &impl BaseState<'tcx>) -> Vec<FieldIdx>

For a vtable-safe method, the fields to follow from its vtable receiver to the built-in pointer that carries the vtable.

pub fn sig(&self) -> &PolyFnSig<'tcx>

pub fn fn_trait_impls( &self, s: &impl BaseState<'tcx>, ) -> Option<&FnTraitImpls<'tcx>>

The virtual Fn* impls for this function, if it is Fn*-compatible.

Trait Implementations

impl<'tcx> Clone for AssocFn<'tcx>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for AssocFn<'tcx>

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

Formats the value using the given formatter.