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.

Sign up for GitHub

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

Jump to bottom

OpaqueCast projections are always overlapping, they can't possibly be disjoint #104773

Merged
merged 1 commit into from
Nov 25, 2022
Merged

OpaqueCast projections are always overlapping, they can't possibly be disjoint #104773

merged 1 commit into from
Nov 25, 2022

Conversation

oli-obk
Copy link
Contributor

@oli-obk oli-obk commented Nov 23, 2022

r? @lcnr

@rustbot
Copy link
Collaborator

rustbot commented Nov 23, 2022

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @lcnr (or someone else) soon.

Please see the contribution instructions for more information.

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Nov 23, 2022
@lcnr
Copy link
Contributor

lcnr commented Nov 23, 2022

r=me with green ci

@oli-obk
Copy link
Contributor Author

oli-obk commented Nov 24, 2022

@bors r=lcnr

@bors
Copy link
Contributor

bors commented Nov 24, 2022

📌 Commit 46b37e2 has been approved by lcnr

It is now in the queue for this repository.

@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 Nov 24, 2022
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Nov 24, 2022
@matthiaskrgr
Rollup merge of rust-lang#104773 - oli-obk:overlap, r=lcnr
1a37b44 
OpaqueCast projections are always overlapping, they can't possibly be disjoint

r? `@lcnr`
This was referenced Nov 24, 2022
Closed
Merged
bors added a commit to rust-lang-ci/rust that referenced this pull request Nov 24, 2022
@bors
Auto merge of rust-lang#104845 - matthiaskrgr:rollup-tckj956, r=matth…
65a6e22 
…iaskrgr

Rollup of 11 pull requests

Successful merges:

 - rust-lang#104514 (Use node_ty_opt to avoid ICE in visit_ty)
 - rust-lang#104704 (Allow power10-vector feature in PowerPC)
 - rust-lang#104747 (resolve: Don't use constructor def ids in the map for field names)
 - rust-lang#104773 (OpaqueCast projections are always overlapping, they can't possibly be disjoint)
 - rust-lang#104774 (Document split{_ascii,}_whitespace() for empty strings)
 - rust-lang#104780 (make `error_reported` check for delayed bugs)
 - rust-lang#104782 (Bump the const eval step limit)
 - rust-lang#104792 (rustdoc: simplify `.search-results-title` CSS)
 - rust-lang#104796 (lint: do not warn unused parens around higher-ranked function pointers)
 - rust-lang#104820 (Remove normalize_projection_type)
 - rust-lang#104822 (with_query_mode -> new)

Failed merges:

 - rust-lang#104716 (move 2 candidates into builtin candidate)
 - rust-lang#104841 (Assert that we don't capture escaping bound vars in `Fn` trait selection)

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 9a558b6 into rust-lang:master Nov 25, 2022
@rustbot rustbot added this to the 1.67.0 milestone Nov 25, 2022
@oli-obk oli-obk deleted the overlap branch July 24, 2023 14:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@lcnr lcnr

Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.
Projects
None yet
Milestone
1.67.0
Development

Successfully merging this pull request may close these issues.
4 participants
@oli-obk @rustbot @lcnr @bors