[GROOVY-11302] Method call with type args loses information within trait

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 4.0.19, 5.0.0-alpha-6
• Labels: generics traits

Language

groovy

• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 30/Jan/24 16:22
• Updated: 05/Mar/24 01:53
• Resolved: 30/Jan/24 16:25

Description

Consider the following:

trait T {
    def <X> X m(x) {x}
    @TypeChecked
    def test() {
        Number n = 1
        n = this.<Object>m(n) // should fail STC
    }
}