diff --git a/compiler/test/dotc/pos-test-pickling.blacklist b/compiler/test/dotc/pos-test-pickling.blacklist
index d1dd83f36ff7..697ec4e2ec81 100644
--- a/compiler/test/dotc/pos-test-pickling.blacklist
+++ b/compiler/test/dotc/pos-test-pickling.blacklist
@@ -21,6 +21,7 @@ i15181.scala
 i15922.scala
 t5031_2.scala
 i16997.scala
+i7414.scala
 
 # Tree is huge and blows stack for printing Text
 i7034.scala
diff --git a/tests/pos/i7414.scala b/tests/pos/i7414.scala
new file mode 100644
index 000000000000..fd85ed2a2265
--- /dev/null
+++ b/tests/pos/i7414.scala
@@ -0,0 +1,12 @@
+// https://github.com/lampepfl/dotty/issues/7414
+
+object DepTest {
+  trait Trait {
+    case class Dependent()
+  }
+  object obj extends Trait
+  case class Dep[T <: Trait](t: T) {
+    def fun(q: t.Dependent): Unit = ???
+  }
+  Dep(obj).fun(obj.Dependent())
+}