From 3d1559dc172d2493e64230706e87314460d9e2b0 Mon Sep 17 00:00:00 2001
From: Tom Grigg <tomegrigg@gmail.com>
Date: Thu, 29 Jul 2021 14:01:59 -0700
Subject: [PATCH] Add regression test for #12178

---
 tests/pos/i12178.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/pos/i12178.scala b/tests/pos/i12178.scala
index 4247ad92301b..b2c97b44f0fc 100644
--- 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
 }