diff --git a/compiler/src/dotty/tools/dotc/inlines/InlineReducer.scala b/compiler/src/dotty/tools/dotc/inlines/InlineReducer.scala
index 1fa4fc624979..94755ea41c69 100644
--- a/compiler/src/dotty/tools/dotc/inlines/InlineReducer.scala
+++ b/compiler/src/dotty/tools/dotc/inlines/InlineReducer.scala
@@ -362,7 +362,7 @@ class InlineReducer(inliner: Inliner)(using Context):
         val (caseBindings, from, to) = substBindings(caseBindingMap.toList, mutable.ListBuffer(), Nil, Nil)
         val (guardOK, canReduceGuard) =
           if cdef.guard.isEmpty then (true, true)
-          else typer.typed(cdef.guard.subst(from, to), defn.BooleanType) match {
+          else stripInlined(typer.typed(cdef.guard.subst(from, to), defn.BooleanType)) match {
             case ConstantValue(v: Boolean) => (v, true)
             case _ => (false, false)
           }
diff --git a/tests/pos/i22300.scala b/tests/pos/i22300.scala
new file mode 100644
index 000000000000..156d913951b6
--- /dev/null
+++ b/tests/pos/i22300.scala
@@ -0,0 +1,16 @@
+class Foo:
+
+  inline def inlineMatch[T]: String =
+    inline compiletime.erasedValue[T] match
+      case _: EmptyTuple               => ""
+      case _: (h *: _) if checkType[h](0) => ""
+
+  private inline def checkType[T](i: Int): Boolean =
+    inline compiletime.erasedValue[T] match
+      case _: Int => true
+      case _      => false
+
+val foo = Foo()
+
+@main def main () =
+  foo.inlineMatch[(Int, Boolean)]