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

Function rustc::middle::ty::trait_method_of_method[src]

pub fn trait_method_of_method(tcx: &ctxt, def_id: DefId) -> Option<DefId>

If the given def ID describes a method belonging to a trait, (either a default method or an implementation of a trait method), return the ID of the method inside trait definition (this means that if the given def ID is already that of the original trait method, then the return value is the same). Otherwise, return None.