diff --git a/tests/neg/4376.scala b/tests/neg/4376.scala
new file mode 100644
index 000000000000..527dc82aa9f7
--- /dev/null
+++ b/tests/neg/4376.scala
@@ -0,0 +1,6 @@
+object App {
+  type Id[A] >: A <: A
+
+  val a: Array[_ >: Id[_ <: Int]] =
+    (Array.ofDim[String](1) : Array[_ >: Id[Nothing]]) // error
+}