Function rustc_hir_analysis::check::wfcheck::check_associated_type_bounds

fn check_associated_type_bounds(
    wfcx: &WfCheckingCtxt<'_, '_>,
    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.