[GROOVY-7859] Erroneous method pointer expressions pass STC

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.4.7
• Fix Version/s: 3.0.14, 4.0.7
• Component/s: Static Type Checker
• Assignee: Eric Milles
• Reporter: Shil Sinha
• Created: 10/Jun/16 21:45
• Updated: 10/Feb/23 21:40
• Resolved: 04/Dec/22 16:22

Description

Method pointer expressions are not type checked (with STC enabled). The following example should not compile for a number of reasons:

@groovy.transform.TypeChecked
void test() {
  def x = 'abc'.&bar //bar is not a String method
  x() // groovy.lang.MissingMethodException
  x = String.&length //length is a non-static method
  x() // java.lang.IllegalArgumentException: object is not an instance of declaring class
  x = String.&size //size is a non-static extension method
  x() // java.lang.ClassCastException: java.lang.Class cannot be cast to java.lang.String
}
test()