diff --git a/compiler/test-resources/repl/i4566 b/compiler/test-resources/repl/i4566
new file mode 100644
index 000000000000..dcc7262a0eaf
--- /dev/null
+++ b/compiler/test-resources/repl/i4566
@@ -0,0 +1,5 @@
+scala> object test { type ::[A, B]; def a: Int :: Int = ???; def b: Int = a }
+1 | object test { type ::[A, B]; def a: Int :: Int = ???; def b: Int = a }
+  |                                                                    ^
+  |                                                      Found:    Int :: Int
+  |                                                      Required: Int