Skip to content

Commit

Permalink
Align pos and neg test pair
Browse files Browse the repository at this point in the history
Co-authored-by: Sébastien Doeraene <[email protected]>
  • Loading branch information
dwijnand and sjrd authored Oct 27, 2023
1 parent ff90012 commit cc69d90
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion tests/neg/i17192.5.scala
Original file line number Diff line number Diff line change
@@ -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:
Expand Down

0 comments on commit cc69d90

Please sign in to comment.