rustc​::middle​::ty

Structs

AutoDerefRefBareFnTyClosureTyFloatVidFnSigFreeRegionGenericsIntVidItemSubstsItemVariancesMethodParamBoundsParamTyParameterEnvironmentPolytypeRegionParameterDefRegionVidTraitDefTraitRefTransmuteRestrictionTyTraitTyVidTypeContentsTypeParameterDefUpvarBorrowUpvarIdVariantInfocreader_cache_keyctxtexpected_foundfieldfield_tyintern_keymttt_box_

Traits

ExprTyProvider

Functions

adjust_tyall_builtin_boundsconstruct_parameter_environmentderefeach_attreach_bound_trait_and_supertraitsempty_builtin_boundsenum_is_univariantenum_variant_with_idenum_variantseval_repeat_countexpr_is_lvalexpr_kindexpr_spanexpr_tyexpr_ty_adjustedexpr_ty_optfield_idx_strictfn_is_variadicfold_tyfree_region_from_defgetget_opaque_tyget_tydesc_tyhas_attrhas_dtorhash_crate_independentimpl_of_methodimpl_trait_refindexis_binopableis_fn_tyis_instantiableis_type_representableitem_path_stritem_varianceslocal_var_name_strlookup_field_typelookup_impl_vtableslookup_item_typelookup_packedlookup_repr_hintlookup_simdlookup_struct_fieldlookup_struct_fieldslookup_trait_defmaybe_walk_tymethodmethod_call_type_param_defsmethod_idxmk_bare_fnmk_boolmk_botmk_boxmk_charmk_closuremk_ctor_fnmk_ctxtmk_enummk_errmk_f32mk_f64mk_float_varmk_i16mk_i32mk_i64mk_i8mk_imm_ptrmk_imm_rptrmk_infermk_intmk_int_varmk_mach_floatmk_mach_intmk_mach_uintmk_mut_ptrmk_mut_rptrmk_nilmk_nil_ptrmk_parammk_param_from_defmk_prim_tmk_ptrmk_rptrmk_self_typemk_slicemk_strmk_str_slicemk_structmk_tmk_traitmk_tupmk_u16mk_u32mk_u64mk_u8mk_uintmk_uniqmk_varmk_vecnode_id_item_substsnode_id_to_trait_refnode_id_to_typenode_id_to_type_optnormalize_tynote_and_explain_type_errparam_tys_in_typepat_typopulate_implementations_for_trait_if_necessarypopulate_implementations_for_type_if_necessaryprovided_sourceprovided_trait_methodsrecord_trait_implementationresolve_exprsequence_element_typesimd_sizesimd_typestmt_node_idstruct_fieldssubstd_enum_variantstbox_has_flagtrait_id_of_impltrait_methodtrait_method_def_idstrait_method_of_methodtrait_methodstrait_of_methodtrait_ref_contains_errortrait_ref_supertraitstrait_ref_to_def_idtrait_supertraitstry_add_builtin_traittry_node_id_to_typety_closure_storety_dtorty_fn_argsty_fn_retty_fn_sigty_regionty_sort_strty_to_def_idtype_contentstype_err_to_strtype_has_paramstype_has_selftype_idtype_interior_is_unsafetype_is_bare_fntype_is_booltype_is_bottype_is_boxedtype_is_c_like_enumtype_is_chartype_is_emptytype_is_errortype_is_floating_pointtype_is_fptype_is_integraltype_is_machinetype_is_niltype_is_numerictype_is_region_ptrtype_is_scalartype_is_selftype_is_sendabletype_is_signedtype_is_simdtype_is_sizedtype_is_statictype_is_structuraltype_is_traittype_is_ty_vartype_is_uinttype_is_uniquetype_is_unsafe_ptrtype_moves_by_defaulttype_needs_droptype_needs_infertype_needs_substtype_needs_unwind_cleanupvisitor_object_tywalk_regions_and_tywalk_tywith_path

Enum rustc::middle::ty::Region[src]

pub enum Region {
    ReEarlyBound(NodeId, ParamSpace, uint, Name),
    ReLateBound(NodeId, BoundRegion),
    ReFree(FreeRegion),
    ReScope(NodeId),
    ReStatic,
    ReInfer(InferRegion),
    ReEmpty,
}

Representation of regions:

Variants

ReEarlyBound
ReLateBound
ReFree

When checking a function body, the types of all arguments and so forth that refer to bound region parameters are modified to refer to free region parameters.

ReScope

A concrete region naming some expression within the current function.

ReStatic

Static data that has an "infinite" lifetime. Top in the region lattice.

ReInfer

A region variable. Should not exist after typeck.

ReEmpty

Empty lifetime is for data that is never accessed. Bottom in the region lattice. We treat ReEmpty somewhat specially; at least right now, we do not generate instances of it during the GLB computations, but rather generate an error instead. This is to improve error messages. The only way to get an instance of ReEmpty is to have a region variable with no constraints.

Methods

impl Region

fn is_bound(&self) -> bool

Trait Implementations

impl TypeFoldable for Region

fn fold_with<F: TypeFolder>(&self, folder: &mut F) -> Region

impl tr for Region

fn tr(&self, xcx: &ExtendedDecodeContext) -> Region

impl Repr for Region

fn repr(&self, tcx: &ctxt) -> String

Derived Implementations

impl Show for Region

fn fmt(&self, __arg_0: &mut Formatter) -> Result

impl<__D: Decoder<__E>, __E> Decodable<__D, __E> for Region

fn decode(__arg_0: &mut __D) -> Result<Region, __E>

impl<__S: Encoder<__E>, __E> Encodable<__S, __E> for Region

fn encode(&self, __arg_0: &mut __S) -> Result<(), __E>

impl<__S: Writer> Hash<__S> for Region

fn hash(&self, __arg_0: &mut __S)

impl Eq for Region

fn assert_receiver_is_total_eq(&self)

impl PartialEq for Region

fn eq(&self, __arg_0: &Region) -> bool

fn ne(&self, __arg_0: &Region) -> bool

impl Clone for Region

fn clone(&self) -> Region

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