1 files changed, 15 insertions, 0 deletions
diff --git a/test/files/pos/t5033.scala b/test/files/pos/t5033.scala
new file mode 100644
index 0000000000..c4c3334852
--- /dev/null
+++ b/test/files/pos/t5033.scala
@@ -0,0 +1,15 @@
+trait Eater {
+  type Food[T]
+}
+
+trait Fruit {
+  type Seed
+}
+
+trait PipExtractor {
+  def extract(a: Fruit)(b: Eater): b.Food[a.Seed]
+}
+
+trait LaserGuidedPipExtractor extends PipExtractor {
+  def extract(f: Fruit)(g: Eater): g.Food[f.Seed]
+}
+\ No newline at end of file