Module rustc_ty_utils::assoc
source · Functions§
- Given an
trait_assoc_def_id
corresponding to an associated item synthesized from animpl Trait
in an associated function from a trait, and animpl_fn_def_id
that represents an implementation of the associated function that theimpl Trait
comes from, synthesize an associated type for thatimpl Trait
that inherits properties that we infer from the method and the associated type. - Given an
opaque_ty_def_id
corresponding to animpl Trait
in an associated function from a trait, synthesize an associated type for thatimpl Trait
that inherits properties that we infer from the method and the opaque type. - Given an
fn_def_id
of a trait or a trait implementation: - feed_hir 🔒
- provide 🔒