[GROOVY-9463] STC: no type check error for invalid method pointer or reference

• Type: Bug
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Fix Version/s: 4.0.0-alpha-1, 3.0.6, 2.5.19
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Eric Milles
• Created: 12/Mar/20 15:30
• Updated: 24/Aug/22 19:01
• Resolved: 22/Sep/20 12:59

Description

Consider the following:

@groovy.transform.TypeChecked
void test() {
  def closure = String.&toLowerCaseX
  java.util.function.Function<String,String> reference = String::toLowerCaseX
}

Neither of these misspellings result in a compiler error. Also no metadata is saved in the AST to understand what method is being referenced if the names are fixed.