Enum SyntheticItem 

pub enum SyntheticItem {
    Array,
    Slice,
    Tuple(usize),
    Str,
    FnPtr(FnPtrShape),
}

We create some extra DefIds to represent things that rustc doesn’t have a DefId for. This makes the pipeline much easier to have “real” def_ids for them, as we can then solve traits for them etc, and works well with monomorphization.

Variants

Array

Fake ADT representing the [T; N] type.

Slice

Fake ADT representing the [T] type.

Tuple(usize)

Fake ADT representing the length-n tuple (A, B, ...).

Str

Fake ADT representing str, which wraps a [u8].

FnPtr(FnPtrShape)

Fake item representing a particular shape of function pointer types. E.g. for<'a> fn(&'a u32) -> Adt<'a, u32> is considered to be an instantiation of the fake item for<'a> fn(&'a A) -> Adt<'a, B> with A=B=u32. Note how the item can therefore have trait clauses if some Adt does. Every free region, type and constant in the shape is a distinct generic parameter.

Implementations

impl SyntheticItem

pub fn name(&self) -> String

pub fn can_have_generics<'tcx>(&self, s: &impl BaseState<'tcx>) -> bool

pub fn generics_of<'tcx>(&self, s: &impl BaseState<'tcx>) -> &'tcx Generics

pub fn identity_args<'tcx>( &self, s: &impl BaseState<'tcx>, ) -> GenericArgsRef<'tcx>

pub fn param_env<'tcx>(&self, s: &impl BaseState<'tcx>) -> ParamEnv<'tcx>

pub fn late_bound_scope<'tcx>(&self, s: &impl BaseState<'tcx>) -> RDefId

pub fn const_param_ty<'tcx>( self, s: &impl BaseState<'tcx>, index: u32, ) -> Option<Ty<'tcx>>

Return the type of this constant parameter. tcx.type_of can’t work here because we’re reusing a dummy DefId for the generic parameter.

pub fn predicates_defined_on<'tcx>( &self, s: &impl BaseState<'tcx>, def_id: DefId, direction: PredicateDirection, ) -> ItemPredicates<'tcx, DefId>

pub fn type_of<'tcx>( &self, s: &impl BaseState<'tcx>, ) -> EarlyBinder<'tcx, Ty<'tcx>>

fn data<'tcx>(&self, s: &impl BaseState<'tcx>) -> SyntheticItemData<'tcx>

Trait Implementations

impl Clone for SyntheticItem

fn clone(&self) -> SyntheticItem

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SyntheticItem

impl Debug for SyntheticItem

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

Formats the value using the given formatter.

impl Eq for SyntheticItem

impl Hash for SyntheticItem

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 PartialEq for SyntheticItem

fn eq(&self, other: &SyntheticItem) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SyntheticItem