Merge branch 'issue/1928_precondition_failure_resolve_types'

* issue/1928_precondition_failure_resolve_types: fix #1928, pre-condition in `resolveTypes` is not correct anymore
tokiwa-software · Sep 7, 2023 · 2d814cf · 2d814cf
2 parents d044275 + 53e8826
commit 2d814cf
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/dev/flang/ast/Feature.java b/src/dev/flang/ast/Feature.java
@@ -1941,8 +1941,7 @@ public Expr resolveTypes(Resolution res, AbstractFeature outer)
       (this.outer() == outer,
         Errors.any() ||
         (_impl._kind != Impl.Kind.FieldDef    &&
-         _impl._kind != Impl.Kind.FieldActual &&
-         _impl._kind != Impl.Kind.RoutineDef)
+         _impl._kind != Impl.Kind.FieldActual)
         || _returnType == NoType.INSTANCE);
 
     if (_impl._initialValue != null)