Closed roife closed 6 days ago
Besides, I'm not sure about the commented-out test:
1 || 3 &&$0 4 || 5
should be transformed into 1 || !(!3 || !4) || 5
(just as the assist does currently) instead of !(!1 || !3 || !4) || 5
. Perhaps we should update the test and uncomment it.
Besides, I'm not sure about the commented-out test:
1 || 3 &&$0 4 || 5
should be transformed into1 || !(!3 || !4) || 5
(just as the assist does currently) instead of!(!1 || !3 || !4) || 5
. Perhaps we should update the test and uncomment it.
Yes we can do definitely do that.
Thanks! @bors r+
:pushpin: Commit 4ada8265e67cd647ebbbe6f590085e688d4385e7 has been approved by Veykril
It is now in the queue for this repository.
:hourglass: Testing commit 4ada8265e67cd647ebbbe6f590085e688d4385e7 with merge 7aecf1ae35f3fcc8e0fcde8abbfe807cc098e4e8...
:sunny: Test successful - checks-actions Approved by: Veykril Pushing 7aecf1ae35f3fcc8e0fcde8abbfe807cc098e4e8 to master...
fix #17185
Additionally, this PR simplifies some code in
apply_demorgan
.