Module assoc

Functions

associated_item 🔒

associated_item_def_ids 🔒

associated_item_from_impl_item_ref 🔒

associated_item_from_trait_item_ref 🔒

associated_items 🔒

associated_type_for_impl_trait_in_impl 🔒

Given an trait_assoc_def_id corresponding to an associated item synthesized from an impl Trait in an associated function from a trait, and an impl_fn_def_id that represents an implementation of the associated function that the impl Trait comes from, synthesize an associated type for that impl Trait that inherits properties that we infer from the method and the associated type.

associated_type_for_impl_trait_in_trait 🔒

Given an opaque_ty_def_id corresponding to an impl Trait in an associated function from a trait, synthesize an associated type for that impl Trait that inherits properties that we infer from the method and the opaque type.

associated_types_for_impl_traits_in_associated_fn 🔒

Given an fn_def_id of a trait or a trait implementation:

impl_item_implementor_ids 🔒

provide 🔒