Function rustc_typeck::check::wfcheck::check_associated_type_defaults

fn check_associated_type_defaults(fcx: &FnCtxt<'_, '_>, trait_def_id: DefId)

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.