[GROOVY-6787] type checker does not check generics bounds of wildcards properly

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.2.2, 2.3.0, 2.4.0-rc-1
• Fix Version/s: 2.4.6
• Component/s: Static Type Checker
• Assignee: Pascal Schumacher
• Reporter: Jochen Theodorou
• Created: 13/May/14 09:48
• Updated: 22/Feb/16 20:48
• Resolved: 23/Dec/15 08:59

Description

public <T extends List<CharSequence>> void bar(T a){}
bar([new Object()])

This should not compile because Object is no CharSequence, but it does, because the type checker will simply ignore the bound and set T to LinkedList<Object>