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