From 21675b68b127a5a04daa0996c4a31cc6f0bd31a0 Mon Sep 17 00:00:00 2001 From: Jason Zaugg Date: Wed, 7 Nov 2018 21:30:16 +1000 Subject: [PATCH] Hard problem for type inference that takes 2s to compile --- corpus/map-seq-inference/latest/test.scala | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 corpus/map-seq-inference/latest/test.scala diff --git a/corpus/map-seq-inference/latest/test.scala b/corpus/map-seq-inference/latest/test.scala new file mode 100644 index 0000000..d53e16e --- /dev/null +++ b/corpus/map-seq-inference/latest/test.scala @@ -0,0 +1,15 @@ +class Test { + trait C; trait C1 extends C; trait C1A extends C1; trait C1B extends C1; trait C2 extends C; trait C2A extends C2; trait C2B extends C2; trait C12A extends C1A with C2A; class C12B extends C1B with C2B + class D + val x: Map[AnyRef, Seq[Class[_ <: C]]] = { + Map( + "" -> Seq(classOf[C1], classOf[C1A]), + "" -> Seq(classOf[C1], classOf[C1A], classOf[C12B]), + "" -> Seq(classOf[C1], classOf[C1A]), + "" -> Seq(classOf[C1], classOf[C2A]), + "" -> Seq(classOf[C2], classOf[C1]), + "" -> Seq(classOf[C12A]), + "" -> Seq(classOf[C2], classOf[C1], classOf[C12B]) + ) + } +}