Test case

Author: odersky

tests/pos/i8128.scala

@@ -0,0 +1,4 @@
+object Test {
+  def id: (x: 1 | 0) => x.type = x => x
+  id(0): 0
+}