[GROOVY-5839] Typechecker does not detect shadowed generic parameter

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.0.5
• Fix Version/s: 2.1.7, 2.2.0-beta-2
• Component/s: Static Type Checker
• Assignee: Jochen Theodorou
• Reporter: Dimitar Dimitrov
• Created: 05/Dec/12 08:32
• Updated: 23/Dec/15 10:10
• Resolved: 19/Jul/13 08:41

Description

The typechecker does not realize that the <T> of the method shadows the <T> of the class and compiles this code without warning. The same code does not typecheck in Java.

public class GoodCodeRed<T> {
    Collection<GoodCodeRed<T>> attached

    @groovy.transform.CompileStatic
    public <T> void attach(GoodCodeRed<T> toAttach) {
        attached.add(toAttach)
    }
}

See also http://youtrack.jetbrains.com/issue/IDEA-96606

Issue Links

• relates to: GROOVY-7719 Type incompatibility of generic placeholders not detected for method called on field