Skip to content

Remove pure #5384

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
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
# for free to join this conversation on GitHub. Already have an account? # 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