Flow typing glitch

[simonthum]

This seems related to #2333. I have the following code:

if(is Integer x) {
    somecode();
} else {
    return;
}

assert(is Integer x);   // the compiler should already know this, making the statement superfluous
...use x as Integer...            

To be sure, this is not a major problem, just a nuisance. This is on ceylon 1.2.1.

[simonthum]

Ooops, wrong repo.