1 files changed, 9 insertions, 0 deletions
diff --git a/test/files/pos/michel1.scala b/test/files/pos/michel1.scala
new file mode 100644
index 0000000000..f930a682ef
--- /dev/null
+++ b/test/files/pos/michel1.scala
@@ -0,0 +1,9 @@
+class A[Ta] (a : Ta) {
+  def f = 1
+}
+
+trait C {}
+
+class B[Tb] (b : Tb) extends A[Tb] (b) with C {
+  def g = 2
+}