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

[Paul King (Jira)]

Title: Message Title

Paul King edited a comment on GROOVY-10668   Re: Reference to method is ambiguous if block in "if" with "instanceof" [~blackdrag] 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: ``` {code} if (bool || x instanceof Map) x.doSomething() ``` {code} You are right, we shouldn't need to cast above and beyond what would be dene outside the if. For this case: ``` {code} if (x instanceof ArrayDeque || x instanceof Stack) x.peek() ``` {code} We need two potential casts. Add Comment   This message was sent by Atlassian Jira (v8.20.10#820010-sha1:ace47f9)