From 2768e13792ac3b35d1a6369d3348ae75536d250f Mon Sep 17 00:00:00 2001
From: Alessio Faieta <29785188+alessiofaieta@users.noreply.github.com>
Date: Thu, 8 Oct 2026 13:08:36 +0200
Subject: [PATCH] [spec] Fix splicing of seemingly redundant rules

In some rules, premise and conclusion look the same but actually follow
different judgements. To avoid confusion, those rules are not spliced in
the document.
---
 document/core/valid/instructions.rst | 2 --
 document/core/valid/matching.rst     | 4 ++--
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/document/core/valid/instructions.rst b/document/core/valid/instructions.rst
index e80b1a3d25..5c662a3ab0 100644
--- a/document/core/valid/instructions.rst
+++ b/document/core/valid/instructions.rst
@@ -1358,8 +1358,6 @@ $${rule-prose: Instrs_ok}
 
 $${rule: Instrs_ok/empty}
 
-$${rule: Instrs_ok/instr}
-
 $${rule: Instrs_ok/seq}
 
 $${rule: Instrs_ok/sub}
diff --git a/document/core/valid/matching.rst b/document/core/valid/matching.rst
index 369f04bcfc..e70bfddf4e 100644
--- a/document/core/valid/matching.rst
+++ b/document/core/valid/matching.rst
@@ -130,7 +130,7 @@ Field Types
 
 $${rule-prose: Fieldtype_sub}
 
-$${rule: {Fieldtype_sub/*}}
+$${rule: {Fieldtype_sub/var}}
 
 
 $${rule-prose: Storagetype_sub}
@@ -194,7 +194,7 @@ Global Types
 
 $${rule-prose: Globaltype_sub}
 
-$${rule: {Globaltype_sub/*}}
+$${rule: {Globaltype_sub/var}}
 
 
 .. index:: memory type, limits