[GROOVY-10256] STC: no error for incompatible type bounds on return value

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 4.0.0-beta-1
• Fix Version/s: 4.0.0-beta-2, 2.5.19, 3.0.13
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 23/Sep/21 14:53
• Updated: 10/Sep/22 23:20
• Resolved: 23/Sep/21 21:24

Description

Consider the following:

def <T extends CharSequence> T chars() {
  "foo"
}
@groovy.transform.TypeChecked
List test() {
  chars()
}

The return type extends CharSequence, which is incompatible with List. No STC error is produced. This is a follow up from GROOVY-7316.

Issue Links

• relates to: GROOVY-10342 STC is unable to infer type parameter of parameterized method call