rustc::middle::ty

Structs

AssociatedTypeAssociatedTypeInfoAutoDerefRefBareFnTyBinderClosureTyCommonTypesCrateAnalysisCtxtArenasDebruijnIndexEquatePredicateExistentialBoundsFloatVidFnSigFreeRegionFreevarGenericBoundsGenericsIntVidInternedTyItemSubstsItemVariancesMethodMethodCallMethodCalleeMethodObjectMethodParamOutlivesPredicateParamBoundsParamTyParameterEnvironmentProjectionPredicateProjectionTyRegionParameterDefRegionVidTraitDefTraitPredicateTraitRefTransmuteRestrictionTySTyTraitTyVidTypeContentsTypeFlagsTypeParameterDefTypeSchemeUnboxedClosureUnboxedClosureUpvarUpvarBorrowUpvarIdVariantInfocreader_cache_keyctxtexpected_foundfieldfield_tymtparam_index

Enums

AutoAdjustmentAutoRefBorrowKindBoundRegionBuiltinBoundCopyImplementationErrorDtorKindExplicitSelfCategoryExprAdjustmentExprKindFnOutputImplOrTraitItemImplOrTraitItemContainerImplOrTraitItemIdInferRegionInferTyIntVarValueMethodOriginPredicateRegionRepresentabilityTraitStoreUnboxedClosureKindUnsizeKindVarianceast_ty_to_ty_cache_entrystyterr_vstore_kindtype_errvtable_origin

Traits

AsPredicateHasProjectionTypesReferencesErrorRegionEscapeToPolyTraitRef

Functions

accumulate_lifetimes_in_typeadjust_is_objectadjust_tyadjust_ty_for_autorefadjusted_object_regionall_builtin_boundsanonymize_late_bound_regionsarray_element_tyassociated_type_parameter_indexbinds_late_bound_regionscan_type_implement_copyclose_typeconstruct_parameter_environmentcount_late_bound_regionsderefeach_attreach_bound_trait_and_supertraitsempty_builtin_boundsempty_parameter_environmentenum_is_univariantenum_variant_with_idenum_variantserase_late_bound_regionseval_repeat_countexpr_is_lvalexpr_kindexpr_spanexpr_tyexpr_ty_adjustedexpr_ty_optfield_idx_strictfn_is_variadicfold_tyfree_region_from_defget_tydesc_tyhas_attrhas_dtorhash_crate_independentimpl_of_methodimpl_or_trait_itemimpl_or_trait_item_idximpl_trait_refindexis_associated_typeis_binopableis_ffi_safeis_fn_tyis_instantiableis_tuple_structis_type_representableitem_path_stritem_variancesliberate_late_bound_regionslocal_var_name_strlookup_field_typelookup_item_typelookup_packedlookup_repr_hintslookup_simdlookup_struct_fieldslookup_trait_defmake_substs_for_receiver_typesmaybe_walk_tymk_bare_fnmk_closuremk_ctor_fnmk_ctxtmk_enummk_float_varmk_imm_ptrmk_imm_rptrmk_infermk_int_varmk_mach_floatmk_mach_intmk_mach_uintmk_mut_ptrmk_mut_rptrmk_nilmk_nil_ptrmk_openmk_parammk_param_from_defmk_projectionmk_ptrmk_rptrmk_self_typemk_slicemk_strmk_str_slicemk_structmk_tmk_traitmk_tupmk_unboxed_closuremk_uniqmk_varmk_vecnamed_element_tynode_id_item_substsnode_id_to_trait_refnode_id_to_typenode_id_to_type_optnormalize_tynote_and_explain_type_errobject_region_boundspat_typopulate_implementations_for_trait_if_necessarypopulate_implementations_for_type_if_necessarypositional_element_typredicatespredicates_for_trait_refprovided_sourceprovided_trait_methodsrecord_trait_implementationregion_existential_boundreplace_late_bound_regionsrequired_region_boundsresolve_exprsequence_element_typesimd_sizesimd_typesort_bounds_liststmt_node_idstruct_fieldssubstd_enum_variantstrait_id_of_impltrait_itemtrait_item_def_idstrait_item_of_itemtrait_itemstrait_of_itemtrait_ref_contains_errortrait_ref_to_def_idtry_add_builtin_traittry_node_id_to_typetup_fieldsty_closure_storety_dtorty_fn_abity_fn_argsty_fn_retty_fn_sigty_regionty_sort_stringty_to_def_idtype_contenttype_contentstype_err_to_strtype_escapes_depthtype_has_escaping_regionstype_has_late_bound_regionstype_has_paramstype_has_projectiontype_has_selftype_has_ty_infertype_interior_is_unsafetype_is_bare_fntype_is_bare_fn_itemtype_is_booltype_is_c_like_enumtype_is_chartype_is_emptytype_is_errortype_is_floating_pointtype_is_fptype_is_freshtype_is_integraltype_is_machinetype_is_niltype_is_numerictype_is_region_ptrtype_is_scalartype_is_selftype_is_signedtype_is_simdtype_is_sizedtype_is_structuraltype_is_traittype_is_ty_vartype_is_uinttype_is_uniquetype_is_unsafe_ptrtype_is_vectype_moves_by_defaulttype_needs_infertype_needs_substtype_of_adjusttype_trait_infounboxed_closure_upvarsunopen_typeunsize_tywalk_tywith_freevarswith_path

Function rustc::middle::ty::anonymize_late_bound_regionsExperimental [-]  [+] [src]

pub fn anonymize_late_bound_regions<'tcx, T>(tcx: &ctxt<'tcx>, sig: &Binder<T>) -> T where T: TypeFoldable<'tcx> + Repr<'tcx>

Rewrite any late-bound regions so that they are anonymous. Region numbers are assigned starting at 1 and increasing monotonically in the order traversed by the fold operation.

The chief purpose of this function is to canonicalize regions so that two FnSigs or TraitRefs which are equivalent up to region naming will become structurally identical. For example, for<'a, 'b> fn(&'a int, &'b int) and for<'a, 'b> fn(&'b int, &'a int) will become identical after anonymization.