eclipse-archived/ceylon-ide-intellij

wrong type inferrence for documentation

Closed this issue · 1 comments

dlkw commented

In a type coercion expression, the IDE shows the wrong type of the coerced value as shown here:

Anything f(Anything param) {
    if (is Null param) { // Quick doc (C-Q) on param says type Object (should say Anything, maybe Null)
        return param;  // Quick doc (C-Q) on param says type Null (ok)
    }
    return param; // Quick doc (C-Q) on param says type Object (ok)
}

Thanks Bastien