Navigation Menu

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

Jump to bottom

Lint for unconditional unreachable!() #1632

Open
clarfonthey opened this issue Mar 20, 2017 · 0 comments
Open

Lint for unconditional unreachable!() #1632

clarfonthey opened this issue Mar 20, 2017 · 0 comments
Labels
A-lint Area: New lints E-hard Call for participation: This a hard problem and requires more experience or effort to work on E-medium Call for participation: Medium difficulty level problem and requires some initial experience. L-correctness Lint: Belongs in the correctness lint group T-middle Type: Probably requires verifiying types T-MIR Type: This lint will require working with the MIR

Comments

@clarfonthey
Copy link
Contributor

Example: BurntSushi/byteorder#68.

Essentially, lint for an unreachable!() call that is neither nested in a conditional block, nor after any non-pure code.
@oli-obk oli-obk added L-correctness Lint: Belongs in the correctness lint group E-hard Call for participation: This a hard problem and requires more experience or effort to work on E-medium Call for participation: Medium difficulty level problem and requires some initial experience. A-lint Area: New lints T-middle Type: Probably requires verifiying types T-MIR Type: This lint will require working with the MIR labels Mar 20, 2017
@flip1995 flip1995 mentioned this issue Jan 15, 2020
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-lint Area: New lints E-hard Call for participation: This a hard problem and requires more experience or effort to work on E-medium Call for participation: Medium difficulty level problem and requires some initial experience. L-correctness Lint: Belongs in the correctness lint group T-middle Type: Probably requires verifiying types T-MIR Type: This lint will require working with the MIR
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@oli-obk @clarfonthey