diff --git a/tests/pos-special/fatal-warnings/i8956.scala b/tests/pos-special/fatal-warnings/i8956.scala new file mode 100644 index 000000000000..6b935946de17 --- /dev/null +++ b/tests/pos-special/fatal-warnings/i8956.scala @@ -0,0 +1,16 @@ +type Numeric = Double | Int + +val v1 = 100 +val v2 = 100.0 +def check1(i: Double | Int | String): Unit = { + i match { + case a:(Double | Int) => println(s"numeric = $a") + case _ => println("categorical") + } +} +def check2(i: Double | Int | String): Unit = { + i match { + case a:Numeric => println(s"numeric = $a") + case _ => println("categorical") + } +}