Make custom version of the test

In dotty bootstapped the assert is inlined

Author: nicolasstucki

tests/pos/i2104.decompiled renamed to tests/pos/i2104b.decompiled

@@ -1,10 +1,10 @@
-/** Decompiled from out/posTestFromTasty/pos/i2104/Cons.class */
+/** Decompiled from out/posTestFromTasty/pos/i2104b/Cons.class */
 class Cons[H, T]() extends java.lang.Object
 object Cons {
   def apply[H, T](h: H, t: T): Cons[H, T] = scala.Predef.???
   def unapply[H, T](t: Cons[H, T]): scala.Option[Pair[H, T]] = scala.Predef.???
 }
-/** Decompiled from out/posTestFromTasty/pos/i2104/Pair.class */
+/** Decompiled from out/posTestFromTasty/pos/i2104b/Pair.class */
 case class Pair[A, B](_1: A, _2: B) {
   override def hashCode(): scala.Int = {
     var acc: scala.Int = 2479866
@@ -32,13 +32,12 @@ case class Pair[A, B](_1: A, _2: B) {
   }
 }
 object Pair extends scala.AnyRef
-/** Decompiled from out/posTestFromTasty/pos/i2104/Test.class */
+/** Decompiled from out/posTestFromTasty/pos/i2104b/Test.class */
 object Test {
   def main(args: scala.Array[scala.Predef.String]): scala.Unit = {
     Cons.apply[scala.Option[scala.Int], scala.None.type](scala.Option.apply[scala.Int](1), scala.None) match {
       case Cons(scala.Some(i), scala.None) =>
-        (i: scala.Int)
-        dotty.DottyPredef.assert(i.==(1))
+        ()
     }
   }
 }

tests/pos/i2104b.scala

@@ -0,0 +1,16 @@
+case class Pair[A, B](_1: A, _2: B)
+
+trait Cons[+H, +T]
+
+object Cons {
+  def apply[H, T](h: H, t: T): Cons[H, T] = ???
+  def unapply[H, T](t: Cons[H, T]): Option[Pair[H, T]] = ???
+}
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    Cons(Option(1), None) match {
+      case Cons(Some(i), None) =>
+    }
+  }
+}