diff --git a/tests/neg/i17192.5.scala b/tests/neg/i17192.5.scala index 2837af36b573..a23c8b589a1a 100644 --- a/tests/neg/i17192.5.scala +++ b/tests/neg/i17192.5.scala @@ -1,6 +1,7 @@ class Ifce[BT <: Boolean]: type RT = BT match - case true => this.type { val v1: Int } + case true => this.type { val v1: Int } + case false => this.type def cast: RT = this.asInstanceOf[RT] class Test: