[jira] [Commented] (GROOVY-10668) Reference to method is ambiguous if block in "if" with "instanceof"

[Paul King (Jira)]

Title: Message Title

Paul King commented on GROOVY-10668   Re: Reference to method is ambiguous if block in "if" with "instanceof" Jochen Theodorou There has been discussion about union vs intersection types in the past to support type checking for duck-typing style code. I admit both PR#1269 and PR#1293 don't really cover that properly. But I think solving that would work for all cases. For this case: ``` if (bool || x instanceof Map) x.doSomething() ``` You are right, we shouldn't need to cast above and beyond what would be dene outside the if. For this case: ``` if (x instanceof ArrayDeque || x instanceof Stack) x.peek() ``` We need two potential casts. Add Comment   This message was sent by Atlassian Jira (v8.20.10#820010-sha1:ace47f9)