Function rustc_typeck::check::wfcheck::check_where_clauses

pub(in check::wfcheck) fn check_where_clauses<'tcx, 'fcx>(
    tcx: TyCtxt<'tcx>, 
    fcx: &FnCtxt<'fcx, 'tcx>, 
    span: Span, 
    def_id: DefId, 
    return_ty: Option<(Ty<'tcx>, Span)>
)

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