Do not use asserts to pass bootstrapped tests

Author: nicolasstucki

tests/run-with-compiler/shonan-hmm-simple.check

@@ -6,7 +6,7 @@ Complex(4,3)
 10
 
 ((arr1: scala.Array[scala.Int], arr2: scala.Array[scala.Int]) => {
-  dotty.DottyPredef.assert(arr1.length.==(arr2.length))
+  if (arr1.length.!=(arr2.length)) throw new scala.Exception("...") else ()
   var sum: scala.Int = 0
   var i: scala.Int = 0
   while (i.<(scala.Predef.intArrayOps(arr1).size)) {
@@ -21,13 +21,13 @@ Complex(4,3)
 10
 
 ((arr: scala.Array[scala.Int]) => {
-  dotty.DottyPredef.assert(arr.length.==(5))
+  if (arr.length.!=(5)) throw new scala.Exception("...") else ()
   arr.apply(0).+(arr.apply(2)).+(arr.apply(4))
 })
 10
 
 ((arr: scala.Array[Complex[scala.Int]]) => {
-  dotty.DottyPredef.assert(arr.length.==(4))
+  if (arr.length.!=(4)) throw new scala.Exception("...") else ()
   Complex.apply[scala.Int](0.-(arr.apply(0).im).+(0.-(arr.apply(2).im)).+(arr.apply(3).re.*(2)), arr.apply(0).re.+(arr.apply(2).re).+(arr.apply(3).im.*(2)))
 })
 Complex(4,3)

tests/run-with-compiler/shonan-hmm-simple.scala

@@ -153,7 +153,7 @@ object Test {
     val blasExprIntExpr = new Blas1(new RingIntExpr, new ExprVecOps)
     val resCode2: Expr[(Array[Int], Array[Int]) => Int] = '{
       (arr1, arr2) =>
-        assert(arr1.length == arr2.length)
+        if (arr1.length != arr2.length) throw new Exception("...")
         ~{
           blasExprIntExpr.dot(
             new Vec('(arr1.size), i => '(arr1(~i))),
@@ -177,7 +177,7 @@ object Test {
     val blasExprIntPVExpr = new Blas1(new RingPV[Int](new RingInt, new RingIntExpr), new StaticVecOps)
     val resCode4: Expr[Array[Int] => Int] = '{
       arr =>
-        assert(arr.length == ~vec2.size.toExpr)
+        if (arr.length != ~vec2.size.toExpr) throw new Exception("...")
         ~{
           blasExprIntPVExpr.dot(
             new Vec(vec2.size, i => Dyn('(arr(~i.toExpr)))),
@@ -194,7 +194,7 @@ object Test {
     val blasExprComplexPVInt = new Blas1[Int, Complex[PV[Int]]](new RingComplex(new RingPV[Int](new RingInt, new RingIntExpr)), new StaticVecOps)
     val resCode5: Expr[Array[Complex[Int]] => Complex[Int]] = '{
       arr =>
-        assert(arr.length == ~cmpxVec2.size.toExpr)
+        if (arr.length != ~cmpxVec2.size.toExpr) throw new Exception("...")
         ~{
           val cpx = blasExprComplexPVInt.dot(
             new Vec(cmpxVec2.size, i => Complex(Dyn('(arr(~i.toExpr).re)), Dyn('(arr(~i.toExpr).im)))),