Add test for i11967

Author: noti0na1

tests/explicit-nulls/neg/flow-match.scala

@@ -0,0 +1,17 @@
+// Test flow-typing when NotNullInfos are from cases
+
+object MatchTest {
+
+  def stringOrNullToString(s: String | Null): String = s match {
+    case null => "null"
+    // after the null case, s becomes non-nullable
+    case _ => s
+  }
+
+  def stringOrNullToString2(s: String | Null): String = s match {
+    case null => "null"
+    // s in the case is new variable different from the paramter s
+    // it has the original type: String | Null
+    case s => s // error
+  }
+}

tests/explicit-nulls/pos/flow-match.scala

@@ -1,11 +1,15 @@
-// Test flow-typing when NotNullInfos are from non-null cases
+// Test flow-typing when NotNullInfos are from cases
 
 object MatchTest {
-  locally {
-    val s: String|Null = ???
-    s match {
-      case _: String => println(s.length)
-      case _ => println(0)
-    }
+
+  def lengthOfStringOrNull(s: String | Null): Int = s match {
+    case _: String => s.length
+    case _ => 0
+  }
+
+  def stringOrNullToString(s: String | Null): String = s match {
+    case null => "null"
+    // after the null case, s becomes non-nullable
+    case _ => s
   }
 }