Chayim Refael Friedman 3953b604ce Fix a bug in MBE expansion that arose from incorrect fixing of an older bug in MBE ...

Specifically, #18744 was the PR that was supposed to fix the old bug, but it fixed it incorrectly (and didn't add a test!) The underlying reason was that we marked metavariables in expansions as joint if they were joint in the macro call, which is incorrect.

This wrong fix causes other bug, #19497, which this PR fixes by removing the old (incorrect) fix.

2025-04-01 21:05:51 +03:00

..

src

Fix a bug in MBE expansion that arose from incorrect fixing of an older bug in MBE

2025-04-01 21:05:51 +03:00

Cargo.toml

enable doctest

2025-02-27 14:58:46 +01:00