Bug #137: Test case for quirk 2

tests/correctness/resources/miniboxing/tests/compile/gh-bug-137-quirk2.check

@@ -0,0 +1 @@
+OK

tests/correctness/resources/miniboxing/tests/compile/gh-bug-137-quirk2.flags

@@ -0,0 +1 @@
+

tests/correctness/resources/miniboxing/tests/compile/gh-bug-137-quirk2.launch

@@ -0,0 +1 @@
+miniboxing.tests.compile.bug137.quirk2.Test

tests/correctness/resources/miniboxing/tests/compile/gh-bug-137-quirk2.scala

@@ -0,0 +1,28 @@
+package miniboxing.tests.compile.bug137.quirk2
+
+trait Traversable[@miniboxed T] {
+  self =>
+}
+
+object Traversable {
+  class Buffer[@miniboxed T]
+  extends Traversable[T] {
+    def +=(value: T) {
+    }
+  }
+}
+
+class Actions[@miniboxed K, V](val stopKey: K) {
+  private val insertsBuffer = new Traversable.Buffer[(K, V)]
+  private val clearsBuffer = new Traversable.Buffer[Unit]
+
+  def inserts: Traversable[(K, V)] = insertsBuffer
+  def clears: Traversable[Unit] = clearsBuffer
+}
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    new Actions(3)
+    println("OK")
+  }
+}