Function write_where_predicates 

fn write_where_predicates<'db>(
    params: &GenericParams,
    store: &ExpressionStore,
    f: &mut HirFormatter<'_, 'db>,
) -> Result