[GROOVY-10589] TypeChecked/CompileStatic Incompatible generic argument types regression for List.sort(boolean, Comparator)

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 4.0.1
• Fix Version/s: 4.0.2
• Component/s: Static compilation, Static Type Checker
• Assignee: Unassigned
• Reporter: Leonard Brünings
• Created: 20/Apr/22 13:48
• Updated: 27/Apr/22 08:33
• Resolved: 20/Apr/22 15:52

Description

import groovy.transform.*
import java.time.Instant

@CompileStatic
class Reproducer {
    static final Comparator<Record> RECORD_COMPARATOR = { Record a, Record b -> a.timestamp <=> b.timestamp }
    
    List<Record> records = []
    
    
    List<Record> getSortedRecords() {
        records.sort(false, RECORD_COMPARATOR)
    }
}

@TupleConstructor
@CompileStatic
class Record {
   final Instant timestamp
}

fails with

[Static type checking] - Incompatible generic argument types. Cannot assign java.util.List<? extends Record> to: java.util.List<Record>
 @ line 12, column 9.

Groovy Web Console