Function where_pred

pub fn where_pred(
    path: Type,
    bounds: impl IntoIterator<Item = TypeBound>,
) -> WherePred