Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

if_same_then_else: don't assume multiplication is always commutative #5702

Merged
merged 2 commits into from
Jun 9, 2020

Conversation

ebroto
Copy link
Member

@ebroto ebroto commented Jun 9, 2020

changelog: Don't assume multiplication is always commutative in [if_same_then_else]

Fixes #5698

@rust-highfive
Copy link

r? @matthiaskrgr

(rust_highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Jun 9, 2020
@matthiaskrgr
Copy link
Member

Let's try this again...
@bors delegate=ebroto

@bors
Copy link
Contributor

bors commented Jun 9, 2020

✌️ @ebroto can now approve this pull request

@ebroto
Copy link
Member Author

ebroto commented Jun 9, 2020

@bors r=matthiaskrgr

@bors
Copy link
Contributor

bors commented Jun 9, 2020

📌 Commit 2f74283 has been approved by matthiaskrgr

@bors
Copy link
Contributor

bors commented Jun 9, 2020

⌛ Testing commit 2f74283 with merge 7427065...

@bors
Copy link
Contributor

bors commented Jun 9, 2020

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: matthiaskrgr
Pushing 7427065 to master...

@bors bors merged commit 7427065 into rust-lang:master Jun 9, 2020
@ebroto ebroto deleted the 5698_mul_not_comm branch June 9, 2020 22:47
@flip1995
Copy link
Member

flip1995 commented Jun 9, 2020

@matthiaskrgr To give privileges to the author you also can just comment @bors delegate+ 👍 (Also bors commands don't work in any review comments)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties
Projects
None yet
Development

Successfully merging this pull request may close these issues.

False positive for if_same_then_else
5 participants