quote4: Qq match in a recursive partial def fails with a kernel error
Reported · medium · Crash
A partial def that matches a Qq pattern and recurses fails at kernel check with 'declaration has metavariables', on code the reporter expects to compile. The report gives no minimal reproducer.
Found: ; reported: ; status since: . Reporter: Vasilii Nesterov