Struct ItemRefContents 

pub struct ItemRefContents<'tcx> {
    pub def_id: DefId,
    rustc_args: GenericArgsRef<'tcx>,
    pub generic_args: Vec<GenericArg<'tcx>>,
    pub trait_proofs: Vec<TraitProof<'tcx>>,
    pub in_trait: Option<TraitProof<'tcx>>,
    pub has_param: bool,
    pub has_non_lt_param: bool,
}

Contents of ItemRef.

Fields

def_id: DefId

The item being refered to.

rustc_args: GenericArgsRef<'tcx>

Keep the original arguments. Different rustc arguments can have the same translated generics, so we must keep the args here if we want to be able to recover them.

generic_args: Vec<GenericArg<'tcx>>

The generics passed to the item. If in_trait is Some, these are only the generics of the method/type/const itself; generics for the traits are available in in_trait.unwrap().trait.

trait_proofs: Vec<TraitProof<'tcx>>

Witnesses of the trait clauses required by the item, e.g. T: Sized for Option<T> or B: ToOwned for Cow<'a, B>. Same as above, for associated items this only includes clauses for the item itself.

in_trait: Option<TraitProof<'tcx>>

If we’re referring to a trait associated item, this gives the trait clause/impl we’re referring to.

has_param: bool

Whether this contains any reference to a type/lifetime/const parameter.

has_non_lt_param: bool

Whether this contains any reference to a type/const parameter.

Implementations

impl<'tcx> ItemRefContents<'tcx>

fn intern(self, s: &impl BaseState<'tcx>) -> ItemRef<'tcx>

Trait Implementations

impl<'tcx> Clone for ItemRefContents<'tcx>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for ItemRefContents<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> Eq for ItemRefContents<'tcx>

impl<'tcx> Hash for ItemRefContents<'tcx>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'tcx> PartialEq for ItemRefContents<'tcx>

fn eq(&self, other: &ItemRefContents<'tcx>) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, ItemRefContents<'tcx>> for ItemRef<'tcx, DefId>

fn sinto(&self, s: &S) -> ItemRefContents<'tcx>

impl<'tcx> StructuralPartialEq for ItemRefContents<'tcx>