Add regression test for scala#12178

griggt · griggt · commit 3d1559dc172d · 2021-07-29T14:01:59.000-07:00
diff --git a/tests/pos/i12178.scala b/tests/pos/i12178.scala
@@ -20,5 +20,5 @@ extension[TLabel <: Singleton & String, TValue] (labelTagged: LabelTagged[TLabel
 @main def hello(): Unit = {
   val foo: LabelTagged["foo", Int] = LabelTagged("foo", 10)
   println(label(foo))  // OK
-  //println(foo.label)   // not OK
+  println(foo.label)   // was error, now OK
 }

Original file line number	Diff line number	Diff line change
`@@ -20,5 +20,5 @@ extension[TLabel <: Singleton & String, TValue] (labelTagged: LabelTagged[TLabel`
`20`	`20`	`@main def hello(): Unit = {`
`21`	`21`	`val foo: LabelTagged["foo", Int] = LabelTagged("foo", 10)`
`22`	`22`	`println(label(foo)) // OK`
`23`		`- //println(foo.label) // not OK`
	`23`	`+ println(foo.label) // was error, now OK`
`24`	`24`	`}`