Another test case

odersky · odersky · commit 70cf4a5b973d · 2020-12-27T18:28:13.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)
