From a902b75e07558edff9fcb8bdeedd3247005f63ac Mon Sep 17 00:00:00 2001
From: Olivier Blanvillain <olivier.blanvillain@gmail.com>
Date: Fri, 6 Aug 2021 17:26:36 +0200
Subject: [PATCH] Fix #10077: Add regression test

---
 tests/pos/10077.scala | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 tests/pos/10077.scala

diff --git a/tests/pos/10077.scala b/tests/pos/10077.scala
new file mode 100644
index 000000000000..bdd326c23cb5
--- /dev/null
+++ b/tests/pos/10077.scala
@@ -0,0 +1,13 @@
+trait T[F[_[_]]]
+
+type Inner[x] = [X[_]] =>> x match { case T[f] => f[X] }
+
+trait Monad[F[_]]
+type TMonad = T[Monad]
+
+trait U[T0]:
+  type T0_member = T0
+  def f(x: Inner[T0][List]): Unit
+
+class X extends U[T[Monad]]:
+  def f(x: Inner[T0_member][List]): Unit = ???