fn trait_assoc_to_impl_assoc_item<'tcx>(
    tcx: TyCtxt<'tcx>,
    impl_id: DefId,
    trait_assoc_id: DefId,
) -> Option<AssocItem>
Expand description

Find the associated item in the impl impl_id that corresponds to the trait associated item trait_assoc_id.

This function returns None if no associated item was found in the impl. This can occur when the trait associated item has a default value that is not overridden in the impl.

This is just a wrapper around TyCtxt::impl_item_implementor_ids() and TyCtxt::associated_item() (with some helpful logging added).