Statix analysis of specific contructor causes editor to hang

[RvanBaarle]

Summary

In this project, if a variable used in a test or cpy file, then the editor hangs on updating.

What you did

In the above project define a test such as the following:

test variable [[
abcdef
]] analysis succeeds

What you expected to happen

An error appears at analysis succeeds, since the variable is undefined

What actually happened

The SPT update job hangs indefinitely.

Context

• Spoofax version: 0.13.0
• Operating system & version: Unknown
• Java version (if applicable): Unknown (most likely embedded jvm)
• Eclipse version (if applicable): 2021-09
• Gradle version (if applicable):

Additional information

I haven't tried reproducing the bug myself (a student showed me the issue). If I find anything noteworthy, then I'll update the bug report.

[RvanBaarle]

The issue was caused by an infinite loop in the statix definition.