From 47131a83f6b23198fcacb7949412f5ce1333cc2d Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolas.stucki@gmail.com>
Date: Tue, 12 May 2020 14:30:39 +0200
Subject: [PATCH] Add regression test for #6507

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

diff --git a/tests/pos/i6507.scala b/tests/pos/i6507.scala
new file mode 100644
index 000000000000..a3646d27f301
--- /dev/null
+++ b/tests/pos/i6507.scala
@@ -0,0 +1,9 @@
+object Test {
+  inline def s1 = 47 *: s2
+
+  inline def s2 = 48 *: s3
+
+  inline def s3 = 49 *: ()
+
+  s1
+}