Function mk_where_bound_predicate

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