Pmc: record updates, long-distance information in do notation
This MR contains two parts:
-
The first commit fixes #23520 (closed) by re-enabling pattern-match checking for record updates, which had been inadvertently disabled by e74fc066 due to Pmc being disabled in generated code.
See the commit message for more information.
-
The first commit revealed that #21360 (closed) was in fact still broken. The second commit makes a few changes in the vicinity of
matchSinglePatVar
to ensure that long-distance information is correctly propagated indo
notation.