Fix #5699: Add regression test

Author: nicolasstucki

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
+}