[GROOVY-7598] type checking with generics

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.4.4
• Fix Version/s: 2.4.6
• Component/s: Static Type Checker
• Assignee: Cédric Champeau
• Reporter: JAMIE ECHLIN
• Created: 22/Sep/15 16:24
• Updated: 23/Feb/16 16:29
• Resolved: 07/Oct/15 19:23

Description

The following compiles without error... I don't think it should:

import groovy.transform.TypeChecked

@TypeChecked
class C extends Script {

    @Override
    List<String> run() {
        [11, 12]
    }
}

What I would expect to see is:
Cannot return ArrayList<Integer> from method returning List<String>

Issue Links

• relates to: GROOVY-7763 Various problems with type inference in Groovy 2.4.6
• relates to: GROOVY-7753 regression of return type from ternary operator