Function check_where_clauses 

pub(super) fn check_where_clauses<'tcx>(
    wfcx: &WfCheckingCtxt<'_, 'tcx>,
    def_id: LocalDefId,
)

Checks where-clauses and inline bounds that are declared on def_id.