[GROOVY-7333] Incorrect inferred type in instanceof check of array

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.3.10, 2.4.1
• Fix Version/s: 2.3.11, 2.4.2
• Component/s: Static Type Checker
• Assignee: Cédric Champeau
• Reporter: Cédric Champeau
• Created: 09/Mar/15 06:12
• Updated: 23/Jan/24 17:15
• Resolved: 09/Mar/15 08:16

Description

The following code fails with a weird type checking error:

import groovy.transform.TypeChecked

int len(byte[] arr) { arr.length }
@TypeChecked
def foo(arg) {
   if (arg instanceof byte[]) {
      len(arg)
   }
}
foo(new byte[3])

Error:

[Static type checking] - Cannot call ConsoleScript0#len(byte[]) with arguments [<UnionTypejava.lang.Object+[B>]
at line: 7, column: 7

Issue Links

• relates to: GROOVY-11290 STC: multiple instanceof checks produce different results
• relates to: GROOVY-11137 Improve support for union and intersection types