Skip to content

Conversation

mahkoh
Copy link
Contributor

@mahkoh mahkoh commented Oct 15, 2014

There is also a second commit that adds them to the prelude.

@alexcrichton
Copy link
Member

Currently our policy is that any modifications to the prelude need to have a corresponding RFC. Would you be ok backing out the prelude changes for now and opening an RFC for adding them to the prelude?

@mahkoh
Copy link
Contributor Author

mahkoh commented Oct 15, 2014

Updated.

bors added a commit that referenced this pull request Oct 16, 2014
There is also a second commit that adds them to the prelude.
@bors bors closed this Oct 16, 2014
lnicola pushed a commit to lnicola/rust that referenced this pull request Sep 25, 2024
fix: Properly prevent mir building with unknown types present
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants