ceylon/ceylon-spec — comment on commit 5c8064dc712548b0243e4afc6b2a6f0b201aea59
File: src/com/redhat/ceylon/compiler/typechecker/model/Unit.java line 458
By gavinking:

@quintesse I have no idea what you are asking me.

The following is correct:

void foo(T t) {
if (exists t) {
//t should have type T&Object here
}
}