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

Correctly check comparison operator in MIR typeck #71801

Merged
merged 1 commit into from
May 4, 2020

Conversation

matthewjasper
Copy link
Contributor

The subtyping for comparisons between pointers was reversed in MIR typeck.
There also wasn't a check that comparisons between numeric types had matching types.

@rust-highfive
Copy link
Collaborator

r? @varkor

(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 May 2, 2020
Copy link
Member

@varkor varkor left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

r=me after typo fix.

src/librustc_mir/borrow_check/type_check/mod.rs Outdated Show resolved Hide resolved
@matthewjasper
Copy link
Contributor Author

@bors r=varkor

@bors
Copy link
Contributor

bors commented May 3, 2020

📌 Commit 9e19f3a has been approved by varkor

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels May 3, 2020
Dylan-DPC-zz pushed a commit to Dylan-DPC-zz/rust that referenced this pull request May 3, 2020
…=varkor

Correctly check comparison operator in MIR typeck

The subtyping for comparisons between pointers was reversed in MIR typeck.
There also wasn't a check that comparisons between numeric types had matching types.
bors added a commit to rust-lang-ci/rust that referenced this pull request May 4, 2020
Rollup of 4 pull requests

Successful merges:

 - rust-lang#71645 (Direct contributors to try stage 0 rustdoc first)
 - rust-lang#71801 (Correctly check comparison operator in MIR typeck)
 - rust-lang#71844 (List Clippy as a subtree, instead of a submodule)
 - rust-lang#71864 (Update link in contributing.md)

Failed merges:

r? @ghost
@bors bors merged commit 911bf89 into rust-lang:master May 4, 2020
@matthewjasper matthewjasper deleted the operator-subtyping branch May 4, 2020 17:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants