Struct rustc_middle::ty::generics::Generics
source · 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>,
pub host_effect_index: Option<usize>,
}
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: usize
§params: Vec<GenericParamDef>
§param_def_id_to_index: FxHashMap<DefId, u32>
Reverse map to the index
field of each GenericParamDef
.
has_self: bool
§has_late_bound_regions: Option<Span>
§host_effect_index: Option<usize>
Implementations§
source§impl<'tcx> Generics
impl<'tcx> Generics
sourcepub fn param_def_id_to_index(
&self,
tcx: TyCtxt<'tcx>,
def_id: DefId
) -> Option<u32>
pub fn param_def_id_to_index( &self, tcx: TyCtxt<'tcx>, def_id: DefId ) -> Option<u32>
Looks through the generics and all parents to find the index of the
given param def-id. This is in comparison to the param_def_id_to_index
struct member, which only stores information about this item’s own
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
sourcepub fn param_at(
&'tcx self,
param_index: usize,
tcx: TyCtxt<'tcx>
) -> &'tcx GenericParamDef
pub fn param_at( &'tcx self, param_index: usize, tcx: TyCtxt<'tcx> ) -> &'tcx GenericParamDef
Returns the GenericParamDef
with the given index.
pub fn params_to( &'tcx self, param_index: usize, tcx: TyCtxt<'tcx> ) -> &'tcx [GenericParamDef]
sourcepub fn region_param(
&'tcx self,
param: &EarlyBoundRegion,
tcx: TyCtxt<'tcx>
) -> &'tcx GenericParamDef
pub fn region_param( &'tcx self, param: &EarlyBoundRegion, tcx: TyCtxt<'tcx> ) -> &'tcx GenericParamDef
Returns the GenericParamDef
associated with this EarlyBoundRegion
.
sourcepub fn type_param(
&'tcx self,
param: &ParamTy,
tcx: TyCtxt<'tcx>
) -> &'tcx GenericParamDef
pub fn type_param( &'tcx self, param: &ParamTy, tcx: TyCtxt<'tcx> ) -> &'tcx GenericParamDef
Returns the GenericParamDef
associated with this ParamTy
.
sourcepub fn const_param(
&'tcx self,
param: &ParamConst,
tcx: TyCtxt<'tcx>
) -> &GenericParamDef
pub fn const_param( &'tcx self, param: &ParamConst, tcx: TyCtxt<'tcx> ) -> &GenericParamDef
Returns the GenericParamDef
associated with this ParamConst
.
sourcepub fn has_impl_trait(&'tcx self) -> bool
pub fn has_impl_trait(&'tcx self) -> bool
Returns true
if params
has impl Trait
.
sourcepub fn own_args_no_defaults(
&'tcx self,
tcx: TyCtxt<'tcx>,
args: &'tcx [GenericArg<'tcx>]
) -> &'tcx [GenericArg<'tcx>]
pub fn own_args_no_defaults( &'tcx self, tcx: TyCtxt<'tcx>, args: &'tcx [GenericArg<'tcx>] ) -> &'tcx [GenericArg<'tcx>]
Returns the args corresponding to the generic parameters
of this item, excluding Self
.
This should only be used for diagnostics purposes.
sourcepub fn own_args(
&'tcx self,
args: &'tcx [GenericArg<'tcx>]
) -> &'tcx [GenericArg<'tcx>]
pub fn own_args( &'tcx self, args: &'tcx [GenericArg<'tcx>] ) -> &'tcx [GenericArg<'tcx>]
Returns the args corresponding to the generic parameters of this item, excluding Self
.
This should only be used for diagnostics purposes.
Trait Implementations§
source§impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for Generics
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§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<Tcx, T> DepNodeParams<Tcx> for Twhere
Tcx: DepContext,
T: for<'a> HashStable<StableHashingContext<'a>> + Debug,
impl<Tcx, T> DepNodeParams<Tcx> for Twhere Tcx: DepContext, T: for<'a> HashStable<StableHashingContext<'a>> + Debug,
default fn fingerprint_style() -> FingerprintStyle
source§default fn to_fingerprint(&self, tcx: Tcx) -> Fingerprint
default fn to_fingerprint(&self, tcx: Tcx) -> Fingerprint
default fn to_debug_str(&self, _: Tcx) -> String
source§default fn recover(_: Tcx, _: &DepNode) -> Option<T>
default fn recover(_: Tcx, _: &DepNode) -> Option<T>
DepNode
,
something which is needed when forcing DepNode
s 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.source§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
source§impl<'tcx, T> ToPredicate<'tcx, T> for T
impl<'tcx, T> ToPredicate<'tcx, T> for T
fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle: &[QueryInfo], _guar: ErrorGuaranteed ) -> T
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: 104 bytes