Type inferencing of category method pointer

[eric-milles]

Consider the following:

def answer = (-42).&abs
println answer()

This script prints out "42", so taking a method pointer of a category method is supported. However, "abs" currently shows as unknown.

And this as well:

class One804 {
  static def m(self) {}
}
class Two804 {
  void m() {
    use (One804) {
      this.&m // should refer to One804.m(Object)
      this.m() // refers to One804.m(Object)
    }
  }
}