[GROOVY-10791] STC doesn't find method reference on superclass

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 4.0.6
• Fix Version/s: 3.0.14, 4.0.7
• Component/s: Static Type Checker
• Labels: default-methods
• Assignee: Eric Milles
• Reporter: Christopher Smith
• Created: 19/Oct/22 22:25
• Updated: 10/Feb/23 21:40
• Resolved: 25/Oct/22 14:36

Description

Java permits method references to specify a subclass in ContainingType, but the STC produces an error unless the exact declaring type is supplied.

@Grab('io.vavr:vavr:0.10.4')
import io.vavr.control.Option

Option<String> supply() { Option.of('hello') }

@groovy.transform.CompileStatic
void test() {
  println supply().map(Option::toTry)
  //                   ^ declared on Value
}

test()

produces

Failed to find the expected method[toTry(java.lang.String)] in the type[io.vavr.control.Option] @ line 8, column 24.
     println supply().map(Option::toTry)

(which also suggests that the STC, not traversing supertypes to find a ::toTry, has misinferred the signature).