added assert

usethesource · Nov 17, 2023 · e3b4411 · e3b4411
1 parent 366d3cc
commit e3b4411
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/org/rascalmpl/types/ModifySyntaxRole.java b/src/org/rascalmpl/types/ModifySyntaxRole.java
@@ -682,7 +682,8 @@ protected Type glbWithModifySyntax(RascalType type) {
 
         @Override
         protected boolean isSupertypeOf(Type type) {
-            return type.isSubtypeOf(this);
+            assert isOpen();
+            return type.isBottom() || type.isAbstractData();
         }
 
         @Override
@@ -826,7 +827,7 @@ public Type asAbstractDataType() {
 
     @Override
     abstract public boolean match(Type matched, Map<Type, Type> bindings) throws FactTypeUseException;
-    
+
     @Override
     public IValue randomValue(Random random, IValueFactory vf, TypeStore store, Map<Type, Type> typeParameters,
         int maxDepth, int maxBreadth) {