If the brain-dead implicit type promotion rules were removed. E.g

    unsigned int a = 5;
    signed int b = -10;
    bool c = a + b > 0;

c is true.