Skip to content

Add ability to get a list of all trait declarations #20

New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom
Closed
spastorino opened this issue Aug 4, 2023 · 1 comment · Fixed by rust-lang/rust#114485
Closed

Add ability to get a list of all trait declarations #20

spastorino opened this issue Aug 4, 2023 · 1 comment · Fixed by rust-lang/rust#114485
Assignees
@spastorino
Milestone
StableMIR 0.1

Comments

@spastorino
Copy link
Member

No description provided.

@spastorino spastorino self-assigned this Aug 4, 2023
@spastorino spastorino added this to the StableMIR 0.1 milestone Aug 4, 2023
@spastorino spastorino mentioned this issue Aug 4, 2023
Merged
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this issue Aug 7, 2023
@matthiaskrgr
Rollup merge of rust-lang#114485 - spastorino:add-trait-decls, r=oli-obk
7a52fe5 
Add trait decls to SMIR

r? `@oli-obk`

Closes rust-lang/project-stable-mir#20
@spastorino
Copy link
Member Author

Done in rust-lang/rust#114485

# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees

@spastorino spastorino

Labels
None yet
Projects
None yet
Milestone
StableMIR 0.1
Development

Successfully merging a pull request may close this issue.

Add trait decls to SMIR spastorino/rust
1 participant
@spastorino