Function rustc_resolve::late::diagnostics::mk_where_bound_predicate

fn mk_where_bound_predicate(
    path: &Path,
    poly_trait_ref: &PolyTraitRef,
    ty: &Ty
) -> Option<WhereBoundPredicate>