diff --git a/compiler/test-resources/repl/i6643 b/compiler/test-resources/repl/i6643
new file mode 100644
index 000000000000..e139ae9f7f94
--- /dev/null
+++ b/compiler/test-resources/repl/i6643
@@ -0,0 +1,7 @@
+scala> import scala.collection._
+
+scala>:type 1
+Int
+
+scala> object IterableTest { def g[CC[_] <: Iterable[_] with IterableOps[_, _, _]](from: CC[Int]): IterableFactory[CC] = ??? }
+// defined object IterableTest