1 files changed, 7 insertions, 0 deletions
diff --git a/tests/untried/pos/michel4.scala b/tests/untried/pos/michel4.scala
new file mode 100644
index 000000000..ce9de29a2
--- /dev/null
+++ b/tests/untried/pos/michel4.scala
@@ -0,0 +1,7 @@
+class A() {
+  def f : Int = 2
+}
+
+class B() extends A() {
+  override val f : Int = super.f
+}