[GROOVY-7128] Generic method declaration should see the super class

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.3.7, 2.4.0-beta-3
• Fix Version/s: 4.0.0-alpha-3, 3.0.15, 2.5.22
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Yu Kobayashi
• Created: 24/Oct/14 08:04
• Updated: 26/Jan/23 22:22
• Resolved: 28/Mar/21 18:39

Description

@groovy.transform.CompileStatic
void test() {
    List<Number> list = [1]
}

C:\Users\Yu\Desktop\test.groovy: 3: [Static type checking] - Incompatible generic argument types. Cannot assign java.util.List <java.lang.Integer> to: java.util.List <Number>
 @ line 3, column 25.
       List<Number> list = [1]
                           ^