Function conditional_where 

pub(crate) fn conditional_where(
    where_clause: Option<&WhereClause>,
    bounds: &[(TokenStream, TokenStream)],
) -> TokenStream

where clause: where_clause’s predicates, then for<'__mx_cond> ty: bound for each (ty, bound) pair.