Struct rustc_middle::ty::generics::Generics[−][src]

pub struct Generics {
    pub parent: Option<DefId>,
    pub parent_count: usize,
    pub params: Vec<GenericParamDef>,
    pub param_def_id_to_index: FxHashMap<DefId, u32>,
    pub has_self: bool,
    pub has_late_bound_regions: Option<Span>,
}

Expand description

Information about the formal type/lifetime parameters associated with an item or method. Analogous to hir::Generics.

The ordering of parameters is the same as in Subst (excluding child generics): Self (optionally), Lifetime params…, Type params…

Fields

parent: Option<DefId>parent_count: usizeparams: Vec<GenericParamDef>param_def_id_to_index: FxHashMap<DefId, u32>

Reverse map to the index field of each GenericParamDef.

has_self: boolhas_late_bound_regions: Option

Implementations

[src]

pub fn param_at(
 &'tcx self,
 param_index: usize,
 tcx: TyCtxt<'tcx>
) -> &'tcx GenericParamDef

Returns the GenericParamDef with the given index.

[src]

pub fn region_param(
 &'tcx self,
 param: &EarlyBoundRegion,
 tcx: TyCtxt<'tcx>
) -> &'tcx GenericParamDef

Returns the GenericParamDef associated with this EarlyBoundRegion.

[src]

pub fn type_param(
 &'tcx self,
 param: &ParamTy,
 tcx: TyCtxt<'tcx>
) -> &'tcx GenericParamDef

Returns the GenericParamDef associated with this ParamTy.

[src]

pub fn const_param(
 &'tcx self,
 param: &ParamConst,
 tcx: TyCtxt<'tcx>
) -> &GenericParamDef

Returns the GenericParamDef associated with this ParamConst.

[src]

pub fn has_impl_trait(&'tcx self) -> bool

Returns true if params has impl Trait.

Trait Implementations

[src]

impl Clone for Generics

[src]

fn clone(&self) -> Generics

Returns a copy of the value. Read more

1.0.0[src]

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

Performs copy-assignment from source. Read more

[src]

impl Debug for Generics

[src]

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

Formats the value using the given formatter. Read more

[src]

impl<'tcx, D: TyDecoder<'tcx>> Decodable<D> for Generics

[src]

fn decode(decoder: &mut D) -> Result<Self, <__D as Decoder>::Error>

[src]

impl<'tcx, E: TyEncoder<'tcx>> Encodable<E> for Generics

[src]

fn encode(&self, encoder: &mut E) -> Result<(), <__E as Encoder>::Error>

[src]

impl<'ctx> HashStable<StableHashingContext<'ctx>> for Generics

[src]

fn hash_stable(
 &self,
 hcx: &mut StableHashingContext<'ctx>,
 __hasher: &mut StableHasher
)

Auto Trait Implementations

impl RefUnwindSafe for Generics

Blanket Implementations

[src]

impl<T> Any for T where
T: 'static + ?Sized,

[src]

pub fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

[src]

impl<T> Borrow<T> for T where
T: ?Sized,

[src]

pub fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

[src]

impl<T> BorrowMut<T> for T where
T: ?Sized,

[src]

pub fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

[src]

impl<Ctxt, T> DepNodeParams<Ctxt> for T where
Ctxt: DepContext,
T: for<'a> HashStable<StableHashingContext<'a>> + Debug,

[src]

pub default fn fingerprint_style() -> FingerprintStyle

[src]

pub default fn to_fingerprint(&self, tcx: Ctxt) -> Fingerprint

This method turns the parameters of a DepNodeConstructor into an opaque Fingerprint to be used in DepNode. Not all DepNodeParams support being turned into a Fingerprint (they don’t need to if the corresponding DepNode is anonymous). Read more

[src]

pub default fn to_debug_str(&self, Ctxt) -> String

[src]

pub default fn recover(
Ctxt,
&DepNode<<Ctxt as DepContext>::DepKind>
) -> Option<T>

This method tries to recover the query key from the given DepNode, something which is needed when forcing DepNodes during red-green evaluation. The query system will only call this method if fingerprint_style() is not FingerprintStyle::Opaque. It is always valid to return None here, in which case incremental compilation will treat the query as having changed instead of forcing it. Read more

[src]

impl<T> From<T> for T

[src]

pub fn from(t: T) -> T

Performs the conversion.

[src]

impl<T, U> Into for T where
U: From<T>,

[src]

pub fn into(self) -> U

Performs the conversion.

[src]

impl<T> MaybeResult<T> for T

type Error = !

[src]

pub fn from(Result<T, <T as MaybeResult<T>>::Error>) -> T

[src]

pub fn to_result(Self) -> Result<T, <T as MaybeResult<T>>::Error>

[src]

impl<T> ToOwned for T where
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

[src]

pub fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

[src]

pub fn clone_into(&self, target: &mut T)

🔬 This is a nightly-only experimental API. (toowned_clone_into)

recently added

Uses borrowed data to replace owned data, usually by cloning. Read more

[src]

impl<T, U> TryFrom for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

[src]

pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

[src]

impl<T, U> TryInto for T where
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

[src]

pub fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

[src]

impl<T> WithConstness for T

[src]

fn with_constness(self, constness: BoundConstness) -> ConstnessAnd<Self>

[src]

fn with_const_if_const(self) -> ConstnessAnd<Self>

[src]

fn without_const(self) -> ConstnessAnd<Self>

[src]

impl<'a, T> Captures<'a> for T where
T: ?Sized,

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 88 bytes

Struct rustc_middle::ty::generics::Generics[−][src]

Fields

Implementations

impl<'tcx> Generics

pub fn count(&self) -> usize

pub fn own_counts(&self) -> GenericParamCount

pub fn own_defaults(&self) -> GenericParamCount

pub fn requires_monomorphization(&self, tcx: TyCtxt<'tcx>) -> bool

pub fn own_requires_monomorphization(&self) -> bool

pub fn param_at( &'tcx self, param_index: usize, tcx: TyCtxt<'tcx>) -> &'tcx GenericParamDef

pub fn region_param( &'tcx self, param: &EarlyBoundRegion, tcx: TyCtxt<'tcx>) -> &'tcx GenericParamDef

pub fn type_param( &'tcx self, param: &ParamTy, tcx: TyCtxt<'tcx>) -> &'tcx GenericParamDef

pub fn const_param( &'tcx self, param: &ParamConst, tcx: TyCtxt<'tcx>) -> &GenericParamDef

pub fn has_impl_trait(&'tcx self) -> bool

Trait Implementations

impl Clone for Generics

fn clone(&self) -> Generics

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

impl Debug for Generics

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

impl<'tcx, __D: TyDecoder<'tcx>> Decodable<__D> for Generics

fn decode(__decoder: &mut __D) -> Result<Self, <__D as Decoder>::Error>

impl<'tcx, __E: TyEncoder<'tcx>> Encodable<__E> for Generics

fn encode(&self, __encoder: &mut __E) -> Result<(), <__E as Encoder>::Error>

impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for Generics

fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __hasher: &mut StableHasher)

Auto Trait Implementations

impl RefUnwindSafe for Generics

impl !Send for Generics

impl !Sync for Generics

impl Unpin for Generics

impl UnwindSafe for Generics

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

pub fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where T: ?Sized,

pub fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

pub fn borrow_mut(&mut self) -> &mut T

impl<Ctxt, T> DepNodeParams<Ctxt> for T where Ctxt: DepContext, T: for<'a> HashStable<StableHashingContext<'a>> + Debug,

pub default fn fingerprint_style() -> FingerprintStyle

pub default fn to_fingerprint(&self, tcx: Ctxt) -> Fingerprint

pub default fn to_debug_str(&self, Ctxt) -> String

pub default fn recover( Ctxt, &DepNode<<Ctxt as DepContext>::DepKind>) -> Option<T>

impl<T> From<T> for T

pub fn from(t: T) -> T

impl<T, U> Into<U> for T where U: From<T>,

pub fn into(self) -> U

impl<T> MaybeResult<T> for T

type Error = !

pub fn from(Result<T, <T as MaybeResult<T>>::Error>) -> T

pub fn to_result(Self) -> Result<T, <T as MaybeResult<T>>::Error>

impl<T> ToOwned for T where T: Clone,

type Owned = T

pub fn to_owned(&self) -> T

pub fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<T> WithConstness for T

fn with_constness(self, constness: BoundConstness) -> ConstnessAnd<Self>

fn with_const_if_const(self) -> ConstnessAnd<Self>

fn without_const(self) -> ConstnessAnd<Self>

impl<'a, T> Captures<'a> for T where T: ?Sized,

Layout

pub fn param_at(
&'tcx self,
param_index: usize,
tcx: TyCtxt<'tcx>
) -> &'tcx GenericParamDef

pub fn region_param(
&'tcx self,
param: &EarlyBoundRegion,
tcx: TyCtxt<'tcx>
) -> &'tcx GenericParamDef

pub fn type_param(
&'tcx self,
param: &ParamTy,
tcx: TyCtxt<'tcx>
) -> &'tcx GenericParamDef

pub fn const_param(
&'tcx self,
param: &ParamConst,
tcx: TyCtxt<'tcx>
) -> &GenericParamDef

impl<'tcx, D: TyDecoder<'tcx>> Decodable<D> for Generics

fn decode(decoder: &mut D) -> Result<Self, <__D as Decoder>::Error>

impl<'tcx, E: TyEncoder<'tcx>> Encodable<E> for Generics

fn encode(&self, encoder: &mut E) -> Result<(), <__E as Encoder>::Error>

impl<'ctx> HashStable<StableHashingContext<'ctx>> for Generics

fn hash_stable(
&self,
hcx: &mut StableHashingContext<'ctx>,
__hasher: &mut StableHasher
)

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<Ctxt, T> DepNodeParams<Ctxt> for T where
Ctxt: DepContext,
T: for<'a> HashStable<StableHashingContext<'a>> + Debug,

pub default fn recover(
Ctxt,
&DepNode<<Ctxt as DepContext>::DepKind>
) -> Option<T>

impl<T, U> Into<U> for T where
U: From<T>,

impl<T> ToOwned for T where
T: Clone,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,

impl<'a, T> Captures<'a> for T where
T: ?Sized,