@@ -3,11 +3,9 @@ class Cons[H, T]() extends java.lang.Object
3
3
object Cons {
4
4
def apply[H, T](h: H, t: T): Cons[H, T] = scala.Predef.???
5
5
def unapply[H, T](t: Cons[H, T]): scala.Option[Pair[H, T]] = scala.Predef.???
6
- }/** Decompiled from out/posTestFromTasty/pos/i2104/Pair.class */
6
+ }
7
+ /** Decompiled from out/posTestFromTasty/pos/i2104/Pair.class */
7
8
case class Pair[A, B](_1: A, _2: B) {
8
- def copy[A >: scala.Nothing <: scala.Any, B >: scala.Nothing <: scala.Any](_1: A, _2: B): Pair[A, B] = new Pair[A, B](_1, _2)
9
- def copy$default$1[A >: scala.Nothing <: scala.Any, B >: scala.Nothing <: scala.Any]: A = (_1: _1)
10
- def copy$default$2[A >: scala.Nothing <: scala.Any, B >: scala.Nothing <: scala.Any]: B = (_2: _2)
11
9
override def hashCode(): scala.Int = {
12
10
var acc: scala.Int = 2479866
13
11
acc = scala.runtime.Statics.mix(acc, scala.runtime.Statics.anyHash(_1))
@@ -33,18 +31,13 @@ case class Pair[A, B](_1: A, _2: B) {
33
31
throw new java.lang.IndexOutOfBoundsException(n.toString())
34
32
}
35
33
}
36
- object Pair extends scala.AnyRef {
37
- def apply[A >: scala.Nothing <: scala.Any, B >: scala.Nothing <: scala.Any](_1: A, _2: B): Pair[A, B] = new Pair[A, B](_1, _2)
38
- def unapply[A >: scala.Nothing <: scala.Any, B >: scala.Nothing <: scala.Any](x$1: Pair[A, B]): Pair[A, B] = x$1
39
- }/** Decompiled from out/posTestFromTasty/pos/i2104/Test.class */
34
+ object Pair extends scala.AnyRef
35
+ /** Decompiled from out/posTestFromTasty/pos/i2104/Test.class */
40
36
object Test {
41
- def main(args: scala.Array[scala.Predef.String]): scala.Unit = {
42
37
Cons.apply[scala.Option[scala.Int], scala.None.type](scala.Option.apply[scala.Int](1), scala.None) match {
43
- case Cons(_: scala.Some[scala.Int], scala.None) =>
44
- {
45
- (i: scala.Int)
46
- dotty.DottyPredef.assert(i.==(1))
47
- }
38
+ case Cons(Some(i), scala.None) =>
39
+ (i: scala.Int)
40
+ dotty.DottyPredef.assert(i.==(1))
48
41
}
49
42
}
50
- }
43
+ }
0 commit comments