From f7986c1d87b121966443477cc9823a62243bf15d Mon Sep 17 00:00:00 2001
From: Fengyun Liu <liu@fengy.me>
Date: Sun, 17 Jul 2022 20:33:51 +0200
Subject: [PATCH] Add test

---
 tests/init/neg/promotion-segment.scala  | 12 ++++++++++++
 tests/init/neg/promotion-segment2.scala | 12 ++++++++++++
 2 files changed, 24 insertions(+)
 create mode 100644 tests/init/neg/promotion-segment.scala
 create mode 100644 tests/init/neg/promotion-segment2.scala

diff --git a/tests/init/neg/promotion-segment.scala b/tests/init/neg/promotion-segment.scala
new file mode 100644
index 000000000000..56968ce79c56
--- /dev/null
+++ b/tests/init/neg/promotion-segment.scala
@@ -0,0 +1,12 @@
+class Outer:
+  trait A:
+    def foo() = println(m)
+
+  trait B extends A
+
+  class C extends B
+
+  def bar(c: C) = c.foo()
+
+  bar(new C)  // error
+  val m = 10
diff --git a/tests/init/neg/promotion-segment2.scala b/tests/init/neg/promotion-segment2.scala
new file mode 100644
index 000000000000..d3ba8dedf0ce
--- /dev/null
+++ b/tests/init/neg/promotion-segment2.scala
@@ -0,0 +1,12 @@
+trait A(o: Outer):
+    def foo() = println(o.m)
+
+class Outer:
+  trait B extends A
+
+  class C extends B with A(this)
+
+  def bar(c: C) = c.foo()
+
+  bar(new C) // error
+  val m = 10