5 files changed, 12 insertions, 0 deletions
diff --git a/tests/disabled/not-representable/t3999b.scala b/tests/disabled/not-representable/pos/t3999b.scala
index 0f3f7d642..0f3f7d642 100644
--- a/tests/disabled/not-representable/t3999b.scala
+++ b/tests/disabled/not-representable/pos/t3999b.scala
diff --git a/tests/disabled/not-representable/pos/t5544/Api_1.scala b/tests/disabled/not-representable/pos/t5544/Api_1.scala
new file mode 100644
index 000000000..30994fa07
--- /dev/null
+++ b/tests/disabled/not-representable/pos/t5544/Api_1.scala
@@ -0,0 +1,9 @@
+// Uses structural types; therefore not expressible in dotty
+import scala.annotation.StaticAnnotation
+
+class ann(val bar: Any) extends StaticAnnotation
+
+object Api {
+  @ann({def foo = "foo!!"})
+  def foo = println("foo")
+}
diff --git a/tests/disabled/not-representable/pos/t5544/Test_2.scala b/tests/disabled/not-representable/pos/t5544/Test_2.scala
new file mode 100644
index 000000000..ea9232221
--- /dev/null
+++ b/tests/disabled/not-representable/pos/t5544/Test_2.scala
@@ -0,0 +1,3 @@
+object Test extends dotty.runtime.LegacyApp {
+  Api.foo
+}
diff --git a/tests/disabled/not-representable/t7035.scala b/tests/disabled/not-representable/pos/t7035.scala
index b1ce66cc6..b1ce66cc6 100644
--- a/tests/disabled/not-representable/t7035.scala
+++ b/tests/disabled/not-representable/pos/t7035.scala
diff --git a/tests/disabled/not-representable/t7228.scala b/tests/disabled/not-representable/pos/t7228.scala
index 525327857..525327857 100644
--- a/tests/disabled/not-representable/t7228.scala
+++ b/tests/disabled/not-representable/pos/t7228.scala