From 8aa7c9642cd719a8a055a6a79577ad4c13b2d34b Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolas.stucki@gmail.com>
Date: Thu, 22 Apr 2021 14:33:49 +0200
Subject: [PATCH] Add regression test

Closes #12180
---
 tests/pos/i12180a.scala | 7 +++++++
 tests/pos/i12180b.scala | 9 +++++++++
 2 files changed, 16 insertions(+)
 create mode 100644 tests/pos/i12180a.scala
 create mode 100644 tests/pos/i12180b.scala

diff --git a/tests/pos/i12180a.scala b/tests/pos/i12180a.scala
new file mode 100644
index 000000000000..c8e6308ce6bc
--- /dev/null
+++ b/tests/pos/i12180a.scala
@@ -0,0 +1,7 @@
+inline def n = null
+inline def f = inline if n == null then 0 else 1
+inline def m = inline n match { case null => 0; case _ => 1 }
+
+@main def main =
+  println(f) // error
+  println(m)
diff --git a/tests/pos/i12180b.scala b/tests/pos/i12180b.scala
new file mode 100644
index 000000000000..56d436cf6772
--- /dev/null
+++ b/tests/pos/i12180b.scala
@@ -0,0 +1,9 @@
+inline def n = "im a string"
+inline def f = inline if n == null then 0 else 1
+inline def g = inline if null == n then 0 else 1
+inline def m = inline n match { case null => 0; case _ => 1 }
+
+@main def main =
+  println(f)
+  println(g)
+  println(m)