Merge pull request #13210 from griggt/fix-12178

OlivierBlanvillain · web-flow · commit cb2df555fdf5 · 2021-07-30T09:15:06.000+02:00
Fix #12178: Add regression test
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`	`}`