// implicit cast of int to float in subtraction should fail
void main()
{
    float f = 1.0 - 1;
}