Function where_pred

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