False positive: pattern matching against implicit AST in combination with reserve declaration

[rodinaarssen]

Describe the bug

Expected behavior The pattern match should not be flagged as incorrect

Desktop (please complete the following information):

• Context: VSCode
• Rascal Version: 0.24.2

Additional context The error is generated here

[PaulKlint]

Thanks for the good repo case! I put it on my to do list.

[PaulKlint]

Hi Rodin, thanks for reporting. This false positive is no longer generated in the upcoming release.