Skip to content

normalize_for_monomorphization could normalize recursively #2529

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
Closed
catamorphism opened this issue Jun 7, 2012 · 6 comments
Closed

normalize_for_monomorphization could normalize recursively #2529

catamorphism opened this issue Jun 7, 2012 · 6 comments
Labels
A-codegen Area: Code generation C-cleanup Category: PRs that clean code up or issues documenting cleanup.

Comments

@catamorphism
Copy link
Contributor

A FIXME says "could do this recursively. is that worthwhile?"
@catamorphism
Copy link
Contributor Author

(I take it that it would be worthwhile if this would enable reusing a lot more instances, as that's the point of normalizing...)

@emberian
Copy link
Member

emberian commented Jul 5, 2013

still relevant

@emberian
Copy link
Member

emberian commented Jul 7, 2013

I don't think this is backwards compatible

@graydon
Copy link
Contributor

graydon commented Jul 11, 2013

accepted for production-ready milestone

@Aatch Aatch mentioned this issue Aug 20, 2013
Closed
@dotdash
Copy link
Contributor

dotdash commented Aug 24, 2013

I guess this can be closed given that normalize_for_monomorphization has been removed.

@graydon
Copy link
Contributor

graydon commented Aug 24, 2013

Yes.

@graydon graydon closed this as completed Aug 24, 2013
bors added a commit to rust-lang-ci/rust that referenced this issue Sep 22, 2022
@bors
Auto merge of rust-lang#2529 - RalfJung:yesffi, r=RalfJung
92c24c4 
re-enable FFI support

tov/libffi-rs#58 landed so the license should no longer be an issue. :)

Fixes rust-lang/miri#2526
celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@karkhaz @zhassan-aws @celinval
Bump Kani version to 0.30.0 (rust-lang#2529)
b88debb 
Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
Co-authored-by: Celina G. Val <celinval@amazon.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-codegen Area: Code generation C-cleanup Category: PRs that clean code up or issues documenting cleanup.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@graydon @dotdash @catamorphism @emberian