[GROOVY-9751] STC: error for addAll with collect argument

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 3.0.5
• Fix Version/s: 4.0.0-alpha-1, 3.0.6, 2.5.16
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 20/Sep/20 21:22
• Updated: 31/Jan/22 19:54
• Resolved: 22/Sep/20 13:00

Description

Follow up from GROOVY-9734 and GROOVY-8961. New STC error for generics mismatch when pairing collect with a method pointer:

interface Service {
  Number transform(String s)
}
@groovy.transform.TypeChecked
void test(Service service) {
  Set<Number> numbers = []
  List<String> strings = ['x','y','z']
  numbers.addAll(strings.collect(service.&transform)) // Cannot call java.util.Set <Number>#addAll(java.util.Collection <? extends java.lang.Number>) with arguments [java.util.List <? extends E>]
}