We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 0ce0955 commit 0771abdCopy full SHA for 0771abd
tests/neg/i17192.5.scala
@@ -1,6 +1,7 @@
1
class Ifce[BT <: Boolean]:
2
type RT = BT match
3
- case true => this.type { val v1: Int }
+ case true => this.type { val v1: Int }
4
+ case false => this.type
5
def cast: RT = this.asInstanceOf[RT]
6
7
class Test:
0 commit comments