From 9ffe46a6ae163e2ba3fc1c3d8f6e65c130e02405 Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Wed, 26 Nov 2025 13:40:36 +0100
Subject: [PATCH] removes the (unused) subtype relation between aprods and
 between aprods and their defined types

---
 .../compiler/lang/rascalcore/check/AType.rsc   | 18 ------------------
 1 file changed, 18 deletions(-)

diff --git a/src/org/rascalmpl/compiler/lang/rascalcore/check/AType.rsc b/src/org/rascalmpl/compiler/lang/rascalcore/check/AType.rsc
index da4e43f2da6..22738ff8b30 100644
--- a/src/org/rascalmpl/compiler/lang/rascalcore/check/AType.rsc
+++ b/src/org/rascalmpl/compiler/lang/rascalcore/check/AType.rsc
@@ -75,8 +75,6 @@ default bool asubtype(AType l, AType r){
             return asubtype(l, aliased);
         case \start(AType t):
             return asubtype(l, t);
-        case aprod(p):
-            return asubtype(l, p.def);
         case \iter(AType t):
             return asubtype(l, t);
         case \iter-star(AType t):
@@ -200,22 +198,6 @@ bool asubtype(ac:acons(AType a, list[AType] ap, list[Keyword] _), AType b){
     fail;
 }
 
-bool asubtype(ap: aprod(AProduction p), AType b){
-    switch(b){
-        case aprod(AProduction q):
-            return asubtype(p.def, q.def);
-        case \start(AType t):
-            return asubtype(ap, t);
-        case conditional(AType t, _):
-            return asubtype(ap, t);
-        case AType t:
-            return asubtype(p.def, t);
-        case avalue():
-            return true;
-    }
-    fail;
-}
-
 bool asubtype(adt:aadt(str n, list[AType] l, SyntaxRole sr), AType b){
     switch(b){
         case anode(_):