Function rustc_typeck::check::wfcheck::check_associated_type_bounds

fn check_associated_type_bounds(
    fcx: &FnCtxt<'_, '_>,
    item: &AssocItem,
    span: Span
)

Checks all associated type defaults of trait trait_def_id.

Assuming the defaults are used, check that all predicates (bounds on the assoc type and where clauses on the trait) hold.