Skip to content
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.

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

Remove --check-unsafe flag #1138

Closed
brson opened this issue Nov 6, 2011 · 3 comments
Closed

Remove --check-unsafe flag #1138

brson opened this issue Nov 6, 2011 · 3 comments
Labels
C-cleanup Category: PRs that clean code up or issues documenting cleanup. E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.

Comments

@brson
Copy link
Contributor

brson commented Nov 6, 2011

I believe this is no longer needed. We should always be checking unsafe.

@brson
Copy link
Contributor Author

brson commented Nov 7, 2011

also remove from man page

lht added a commit to lht/rust that referenced this issue Nov 11, 2011
@lht
Copy link
Contributor

lht commented Nov 11, 2011

The flag wasn't documented in the man page.

@brson
Copy link
Contributor Author

brson commented Nov 11, 2011

Thanks, lht!

@brson brson closed this as completed Nov 11, 2011
bjorn3 added a commit to bjorn3/rust that referenced this issue Mar 5, 2021
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
* Changes for `README.md`

* Changes for getting-started

* Rename "Workarounds" to "Working with CBMC"

* Minor fixes in "Working with rustc"

* Suggestions from code review

* Place "working w rustc" after "working w CBMC"

* Add suggestion and correct link

* Remove "it" and capitalize Rust
celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
Fix broken link introduced by rust-lang#1138 and add a link to Coding conventions.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
C-cleanup Category: PRs that clean code up or issues documenting cleanup. E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.
Projects
None yet
Development

No branches or pull requests

2 participants