FULL PRODUCT VERSION :


A DESCRIPTION OF THE PROBLEM :
The following code does not give a compile time error:

    int m(int x) {
        return x > 0 ? 100 : null;
    }

whereas this equivalent code (correctly) gives a compile time error;

    int m(int x) {
        if (x > 0)
            return 100;
        else
            return null;
    }


% head *Compile.java
==> WillCompile.java <==
class WillCompile {
    int m(int x) {
        return x > 0 ? 100 : null;
    }
}

==> WontCompile.java <==
class WontCompile {
    int m(int x) {
        if (x > 0)
            return 100;
        else
            return null;
    }
}

But... WillCompile shouldn't compile.





REPRODUCIBILITY :
This bug can be reproduced always.