Merge branch 'FD777-workaround' into 'dev'

0xFD777 workaround See merge request monticore/monticore!1018
MontiCore · Aug 30, 2024 · bb21c1e · bb21c1e
2 parents 3318664 + 65d5841
commit bb21c1e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/monticore-grammar/src/main/java/de/monticore/types3/Type4Ast.java b/monticore-grammar/src/main/java/de/monticore/types3/Type4Ast.java
@@ -511,6 +511,8 @@ protected void internal_setTypeOfTypeIdentifier(
    * and replaced it with an instantiation.
    */
   protected void assertNoInferenceVars(ASTNode node, SymTypeExpression type) {
+    // todo reenable after https://git.rwth-aachen.de/monticore/monticore/-/issues/4268
+    if (false)
     if (TypeParameterRelations.hasInferenceVariables(type)) {
       Log.info("0xFD777 internal error: "
               + "(this is going to be considered an error, currently(!) "