Update mir-semantics dependency (avoid unreachable vacuous branches) (#137)

jberthold · web-flow · commit 6ce74079ce14 · 2025-12-11T05:03:03.000Z
diff --git a/p-token/test-properties/mir-semantics b/p-token/test-properties/mir-semantics
@@ -1 +1 @@
-Subproject commit 72f68841efadfe09ab7a7f1c11716762f3ca1a20
+Subproject commit e9bba40c9b6c2af474173ea4345960affcb3f689
