1 files changed, 18 insertions, 0 deletions
diff --git a/test/files/pos/t8369b.scala b/test/files/pos/t8369b.scala
new file mode 100644
index 0000000000..8145911db1
--- /dev/null
+++ b/test/files/pos/t8369b.scala
@@ -0,0 +1,18 @@
+object Bug {
+  trait Sys[S] {
+    type Tx
+  }
+
+  trait Baz[-Tx]
+
+  trait Foo[S <: Sys[S]] {
+    def bar: Bar[S] = Bar.read[S]()
+  }
+
+  object Bar {
+    object NoBaz extends Baz[Any]
+
+    def read[S <: Sys[S]](baz: Baz[S#Tx] = NoBaz): Bar[S] = ???
+  }
+  trait Bar[S <: Sys[S]]
+}
+\ No newline at end of file