Add eval-value-class test with TODO fix

Author: adpi2

tests/debug/eval-value-class.check

@@ -0,0 +1,37 @@
+break Test$ 24
+eval b1
+result foo
+eval size.value
+result 2
+eval b2.take(size)
+result ba
+eval m(bar)
+result B(bar)
+eval new B("fizz")
+result fizz
+eval b1 + new B("buzz")
+result foobuzz
+eval new Msg(new Size(3))
+result Hel
+
+break B$ 6
+eval x
+result foo
+eval take(size)
+result fo
+
+break Test$ 25
+eval b1 = new B("fizz")
+result ()
+eval size = new Size(3)
+result ()
+
+break Test$ 29
+eval a
+result B(fizzbar)
+eval a.take(this.size)
+result B(fiz)
+// TODO fix eval a.asInstanceOf[B] + B("buzz")
+// TODO fix result fizzbarbuzz
+
+break B$ 6

tests/debug/eval-value-class.scala

@@ -0,0 +1,31 @@
+trait A extends Any:
+  def take(size: Size): A
+
+class B(val x: String) extends AnyVal with A:
+  def take(size: Size): B =
+    new B(x.take(size.value))
+
+  def +(b: B): B =
+    new B(x + b.x)
+
+  override def toString: String = s"B($x)"
+
+class Size(val value: Int)
+
+class Msg(size: Size):
+  override def toString = "Hello, World!".take(size.value)
+
+object Test:
+  var b1 = new B("foo")
+  private var size = new Size(2)
+
+  def main(args: Array[String]): Unit =
+    val b2 = bar
+    println(b1.take(size))
+    println(m(b1 + b2))
+
+  def m(a: A): A =
+    val size = new Size(5)
+    a.take(size)
+
+  def bar: B = new B("bar")