From 402a8ae6ed0d7dba2965216a4f7d1c9d1555cd81 Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolas.stucki@gmail.com>
Date: Mon, 9 Mar 2020 08:13:15 +0100
Subject: [PATCH] Fix #5699: Add regression test

---
 tests/pos/i5699.scala | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 tests/pos/i5699.scala

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