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