Another test case

odersky · odersky · commit d4e6c778f6a8 · 2020-12-28T18:23:22.000+01:00
diff --git a/tests/run/i9507.scala b/tests/run/i9507.scala
@@ -0,0 +1,6 @@
+extension (x: Int)
+  def add(y: Int): Int = x + y
+
+def newFunction: Int => Int = 4.add
+
+@main def Test = assert(newFunction(1) == 5)
