diff --git a/tests/pos/i14271.scala b/tests/pos/i14271.scala
new file mode 100644
index 000000000000..8f46940afd09
--- /dev/null
+++ b/tests/pos/i14271.scala
@@ -0,0 +1,14 @@
+// https://github.com/lampepfl/dotty/issues/14271
+class Bound[T]
+class MyClass[T <: Bound[T]]
+
+class Container[V] {
+  def doSth(): V = ???
+}
+
+def bug() = {
+  val m = new Container[MyClass[_]]
+  if (true) {
+    m.doSth()
+  }
+}