diff --git a/tests/pos/i5699.scala b/tests/pos/i5699.scala
new file mode 100644
index 000000000000..2e062c2a4935
--- /dev/null
+++ b/tests/pos/i5699.scala
@@ -0,0 +1,5 @@
+def test = {
+  type M = { type T[+A] } & { type T[-A] }
+  val M: M = ().asInstanceOf[M]
+  M: M
+}