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

Struct rustc::middle::ty::ParameterEnvironment[src]

pub struct ParameterEnvironment {
    pub free_substs: Substs,
    pub bounds: VecPerParamSpace<ParamBounds>,
}

When type checking, we use the ParameterEnvironment to track details about the type/lifetime parameters that are in scope. It primarily stores the bounds information.

Note: This information might seem to be redundant with the data in tcx.ty_param_defs, but it is not. That table contains the parameter definitions from an "outside" perspective, but this struct will contain the bounds for a parameter as seen from inside the function body. Currently the only real distinction is that bound lifetime parameters are replaced with free ones, but in the future I hope to refine the representation of types so as to make more distinctions clearer.

Fields

free_substs

A substitution that can be applied to move from the "outer" view of a type or method to the "inner" view. In general, this means converting from bound parameters to free parameters. Since we currently represent bound/free type parameters in the same way, this only has an affect on regions.

bounds

Bounds on the various type parameters