Eric Milles created GROOVY-12000:
------------------------------------
Summary: STC: instanceof or combined with not
Key: GROOVY-12000
URL: https://issues.apache.org/jira/browse/GROOVY-12000
Project: Groovy
Issue Type: Bug
Components: Static Type Checker
Reporter: Eric Milles
Consider the following:
{code:groovy}
@groovy.transform.TypeChecked
void test(Number number) {
if (!(number instanceof Cloneable || number instanceof Closeable)) {
number
} else {
number
}
}
{code}
Currently this passes the check for "can invert" and produces a type like
(Number & (Cloneable | Closeable))". Not sure if we're ready for that or not.
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
