You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
llogiq opened this issue
Feb 14, 2016
· 2 comments
Labels
A-lintArea: New lintsE-mediumCall for participation: Medium difficulty level problem and requires some initial experience.T-middleType: Probably requires verifiying types
We may want to know if some code is panic-free – so while we cannot be sure if a function from another crate that this crate calls panics, we can at least check for panics locally, which means checking for calls of divergent functions (which the type system should give us a hint). We also should probably ignore unreachable!() calls.
The text was updated successfully, but these errors were encountered:
llogiq
added
E-medium
Call for participation: Medium difficulty level problem and requires some initial experience.
T-middle
Type: Probably requires verifiying types
A-lint
Area: New lints
labels
Feb 14, 2016
A-lintArea: New lintsE-mediumCall for participation: Medium difficulty level problem and requires some initial experience.T-middleType: Probably requires verifiying types
We may want to know if some code is panic-free – so while we cannot be sure if a function from another crate that this crate calls panics, we can at least check for panics locally, which means checking for calls of divergent functions (which the type system should give us a hint). We also should probably ignore
unreachable!()
calls.The text was updated successfully, but these errors were encountered: