Skip to content

Remove pure #5384

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
bstrie opened this issue Mar 14, 2013 · 2 comments
Closed

Remove pure #5384

bstrie opened this issue Mar 14, 2013 · 2 comments
Labels
A-frontend Area: Compiler frontend (errors, parsing and HIR) A-lifetimes Area: Lifetimes / regions

Comments

@bstrie
Copy link
Contributor

bstrie commented Mar 14, 2013

Surprisingly I didn't see an issue for this anywhere. Kill pure, preferably with fire.
@bstrie bstrie mentioned this issue Mar 14, 2013
Closed
@Kimundi
Copy link
Member

Kimundi commented Mar 15, 2013

See also #4568

@catamorphism catamorphism mentioned this issue Mar 21, 2013
Closed
@ghost ghost mentioned this issue Mar 22, 2013
Closed
@thestinger
Copy link
Contributor

pure is now fully removed from the language.

bors added a commit to rust-lang-ci/rust that referenced this issue May 2, 2020
@bors
Auto merge of rust-lang#5384 - matthiaskrgr:readme_4, r=matthiaskrgr
6527c3d 
readme: move "how to run single lint" instructions to "Allowing/denying lints" section.

changelog: none
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-frontend Area: Compiler frontend (errors, parsing and HIR) A-lifetimes Area: Lifetimes / regions
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@bstrie @thestinger @Kimundi