Function rustc_typeck::check::wfcheck::check_associated_type_bounds

pub(in check::wfcheck) 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.