Skip to content

Commit

Permalink
0xFD777 workaround
Browse files Browse the repository at this point in the history
  • Loading branch information
SE-FDr committed Aug 30, 2024
1 parent 3318664 commit 65d5841
Showing 1 changed file with 2 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -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(!) "
Expand Down

0 comments on commit 65d5841

Please sign in to comment.