There are cases where ciTypeFlow is not able to keep track of the fact the a value type is never null. For example, after explicit null checks and implicit receiver null checks. We should investigate if these cases can be improved:

http://cr.openjdk.java.net/~thartmann/8220710/webrev.00/