add pre-condition, not adding fixed features to inherited features

tokiwa-software · Nov 3, 2023 · 5a8ac15 · 5a8ac15
1 parent bc589da
commit 5a8ac15
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/dev/flang/fe/Module.java b/src/dev/flang/fe/Module.java
@@ -28,7 +28,6 @@
 
 import dev.flang.ast.AbstractFeature;
 import dev.flang.ast.AstErrors;
-import dev.flang.ast.Consts;
 import dev.flang.ast.FeatureName;
 import dev.flang.ast.State;
 import dev.flang.ast.Types;
@@ -214,7 +213,7 @@ void findInheritedFeatures(SortedMap<FeatureName, AbstractFeature> set, Abstract
                 if (CHECKS) check
                   (cf != outer);
 
-                if ((f.modifiers() & Consts.MODIFIER_FIXED) == 0)
+                if (!f.isFixed())
                   {
                     var newfn = cf.handDown(null, f, fn, p, outer);
                     addInheritedFeature(set, outer, p, newfn, f);
@@ -254,6 +253,9 @@ void addInheritedFeature(SortedMap<FeatureName, AbstractFeature> set,
                            FeatureName fn,
                            AbstractFeature f)
   {
+    if (PRECONDITIONS)
+      require(!f.isFixed());
+
     var existing = set.get(fn);
     if (existing != null)
       {