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

Add trait decls to SMIR #114485

Merged
merged 4 commits into from
Aug 7, 2023
Merged

Add trait decls to SMIR #114485

merged 4 commits into from
Aug 7, 2023

Conversation

spastorino
Copy link
Member

@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 Aug 4, 2023
@rustbot
Copy link
Collaborator

rustbot commented Aug 4, 2023

This PR changes Stable MIR

cc @oli-obk, @celinval, @spastorino

@oli-obk
Copy link
Contributor

oli-obk commented Aug 6, 2023

@bors r+

@bors
Copy link
Contributor

bors commented Aug 6, 2023

📌 Commit 1a9568ef700ffb0b387ab2f37b38e2b97be8cdc3 has been approved by oli-obk

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 Aug 6, 2023
@matthiaskrgr matthiaskrgr mentioned this pull request Aug 6, 2023
Closed
@matthiaskrgr matthiaskrgr mentioned this pull request Aug 6, 2023
Merged
bors added a commit to rust-lang-ci/rust that referenced this pull request Aug 6, 2023
@bors
Auto merge of rust-lang#114553 - matthiaskrgr:rollup-5yddunv, r=matth…
85fbb57 
…iaskrgr

Rollup of 5 pull requests

Successful merges:

 - rust-lang#114466 (Add Allocation to SMIR)
 - rust-lang#114505 (Add documentation to has_deref)
 - rust-lang#114519 (use offset_of! to calculate dirent64 field offsets)
 - rust-lang#114537 (Migrate GUI colors test to original CSS color format)
 - rust-lang#114539 (linkchecker: Remove unneeded FIXME about intra-doc links)

Failed merges:

 - rust-lang#114485 (Add trait decls to SMIR)

r? `@ghost`
`@rustbot` modify labels: rollup
@matthiaskrgr matthiaskrgr mentioned this pull request Aug 6, 2023
Merged
@bors
Copy link
Contributor

bors commented Aug 6, 2023

☔ The latest upstream changes (presumably #114553) made this pull request unmergeable. Please resolve the merge conflicts.

@bors bors added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels Aug 6, 2023
bors added a commit to rust-lang-ci/rust that referenced this pull request Aug 6, 2023
@bors
Auto merge of rust-lang#114565 - matthiaskrgr:rollup-p7cjs3m, r=matth…
72c6b8d 
…iaskrgr

Rollup of 6 pull requests

Successful merges:

 - rust-lang#114535 (bump schannel, miow to drop windows-sys 0.42)
 - rust-lang#114542 (interpret: use ConstPropNonsense for more const-prop induced issues)
 - rust-lang#114543 (add tests for some fixed ConstProp ICEs)
 - rust-lang#114550 (Generate better function argument names in global_allocator expansion)
 - rust-lang#114556 (Issue numbers are enforced on active features; remove FIXME)
 - rust-lang#114558 (Remove FIXME about NLL diagnostic that is already improved)

Failed merges:

 - rust-lang#114485 (Add trait decls to SMIR)

r? `@ghost`
`@rustbot` modify labels: rollup
@spastorino
Copy link
Member Author

@bors r=oli-obk rollup

@bors
Copy link
Contributor

bors commented Aug 7, 2023

📌 Commit 6e4d7bd has been approved by oli-obk

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-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Aug 7, 2023
@matthiaskrgr matthiaskrgr mentioned this pull request Aug 7, 2023
Merged
bors added a commit to rust-lang-ci/rust that referenced this pull request Aug 7, 2023
@bors
Auto merge of rust-lang#114585 - matthiaskrgr:rollup-h26pvus, r=matth…
63a81b0 
…iaskrgr

Rollup of 9 pull requests

Successful merges:

 - rust-lang#113568 (Fix spurious test failure with `panic=abort`)
 - rust-lang#114196 (Bubble up nested goals from equation in `predicates_for_object_candidate`)
 - rust-lang#114485 (Add trait decls to SMIR)
 - rust-lang#114495 (Set max_atomic_width for AVR to 16)
 - rust-lang#114496 (Set max_atomic_width for sparc-unknown-linux-gnu to 32)
 - rust-lang#114510 (llvm-wrapper: adapt for LLVM API changes)
 - rust-lang#114562 (stabilize abi_thiscall)
 - rust-lang#114570 ([miri][typo] Fix a typo in a vector_block comment.)
 - rust-lang#114573 (CI: do not hide error logs in a group)

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 7a52fe5 into rust-lang:master Aug 7, 2023
11 checks passed
@rustbot rustbot added this to the 1.73.0 milestone Aug 7, 2023
This was referenced Aug 7, 2023
Closed
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@oli-obk oli-obk oli-obk left review comments

Assignees

@oli-obk oli-obk

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.73.0
Development

Successfully merging this pull request may close these issues.

Add ability to get a list of all trait declarations
4 participants
@spastorino @rustbot @oli-obk @bors