Module rustc_ty_utils::assoc
source · Functions§
- Given an
trait_assoc_def_idcorresponding to an associated item synthesized from animpl Traitin an associated function from a trait, and animpl_fn_def_idthat represents an implementation of the associated function that theimpl Traitcomes from, synthesize an associated type for thatimpl Traitthat inherits properties that we infer from the method and the associated type. - Given an
opaque_ty_def_idcorresponding to animpl Traitin an associated function from a trait, synthesize an associated type for thatimpl Traitthat inherits properties that we infer from the method and the opaque type. - Given an
fn_def_idof a trait or a trait implementation: - feed_hir 🔒
- provide 🔒