Restore adapt classes tests

Author: mbovel

tests/neg-custom-args/qualified-types/adapt_neg.scala

@@ -12,11 +12,11 @@ def test: Unit =
   val v3: {v: Int with v == x + 1} = x + 2 // error
   val v4: {v: Int with v == f(x)} = g(x) // error
   val v5: {v: Int with v == g(x)} = f(x) // error
-  //val v6: {v: Int with v == IntBox(x)} = IntBox(x) // Not implemented
-  //val v7: {v: Int with v == Box(x)} = Box(x) // Not implemented
+  val v6: {v: IntBox with v == IntBox(x)} = IntBox(x + 1) // error
+  val v7: {v: Box[Int] with v == Box(x)} = Box(x + 1) // error
   val v8: {v: Int with v == x + f(x)} = x + g(x) // error
   val v9: {v: Int with v == x + g(x)} = x + f(x) // error
   val v10: {v: Int with v == f(x + 1)} = f(x + 2) // error
   val v11: {v: Int with v == g(x + 1)} = g(x + 2) // error
-  //val v12: {v: Int with v == IntBox(x + 1)} = IntBox(x + 1) // Not implemented
-  //val v13: {v: Int with v == Box(x + 1)} = Box(x + 1) // Not implemented
+  val v12: {v: IntBox with v == IntBox(x + 1)} = IntBox(x) // error
+  val v13: {v: Box[Int] with v == Box(x + 1)} = Box(x) // error

tests/pos-custom-args/qualified-types/adapt.scala

@@ -12,11 +12,11 @@ def test: Unit =
   val v1: {v: Int with v == x + 1} = x + 1
   val v2: {v: Int with v == f(x)} = f(x)
   val v3: {v: Int with v == g(x)} = g(x)
-  //val v6: {v: Int with v == IntBox(x)} = IntBox(x) // Not implemented
-  //val v7: {v: Int with v == Box(x)} = Box(x) // Not implemented
-  val v4: {v: Int with v == x + f(x)} = x + f(x)
-  val v5: {v: Int with v == x + g(x)} = x + g(x)
-  val v6: {v: Int with v == f(x + 1)} = f(x + 1)
-  val v7: {v: Int with v == g(x + 1)} = g(x + 1)
-  //val v12: {v: Int with v == IntBox(x + 1)} = IntBox(x + 1) // Not implemented
-  //val v13: {v: Int with v == Box(x + 1)} = Box(x + 1) // Not implemented
+  val v4: {v: IntBox with v == IntBox(x)} = IntBox(x) // Not implemented
+  val v5: {v: Box[Int] with v == Box(x)} = Box(x) // Not implemented
+  val v6: {v: Int with v == x + f(x)} = x + f(x)
+  val v7: {v: Int with v == x + g(x)} = x + g(x)
+  val v8: {v: Int with v == f(x + 1)} = f(x + 1)
+  val v9: {v: Int with v == g(x + 1)} = g(x + 1)
+  val v12: {v: IntBox with v == IntBox(x + 1)} = IntBox(x + 1) // Not implemented
+  val v13: {v: Box[Int] with v == Box(x + 1)} = Box(x + 1) // Not implemented