diff --git a/tests/pos/tasty-tags-obscure.scala b/tests/pos/tasty-tags-obscure.scala
new file mode 100644
index 000000000000..c40040334103
--- /dev/null
+++ b/tests/pos/tasty-tags-obscure.scala
@@ -0,0 +1,17 @@
+object ObscureTasty
+
+  def foo(f: [t] => List[t] ?=> Unit) = ???
+  def test1 = foo([t] => (a: List[t]) ?=> ()) // POLYtype => GIVENMETHODType
+  def bar(f: [t] => List[t] => Unit) = ???
+  def test2 = bar([t] => (a: List[t]) => ()) // POLYtype => METHODType
+
+  class Bar
+    final val bar = "Bar.bar"
+
+  class Foo extends Bar
+    object A
+      def unapply(a: Any): Some[Foo.super.bar.type] = ???
+
+    def foo =
+      "" match
+        case A(x) => x // SUPERtype