From cc69d9067fe451c51edf17cb2caf551ebb55c876 Mon Sep 17 00:00:00 2001
From: Dale Wijnand <dale.wijnand@gmail.com>
Date: Fri, 27 Oct 2023 13:33:01 +0100
Subject: [PATCH] Align pos and neg test pair
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Sébastien Doeraene <sjrdoeraene@gmail.com>
---
 tests/neg/i17192.5.scala | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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: