nvzqz/static-assertions
Ensure correct assumptions about constants, types, and more in Rust
RustApache-2.0
Pinned issues
Issues
- 9
const_assert is not compatible with const generics
#40 opened by c6c7 - 1
Recommended way to avoid clippy error?
#42 opened by bramp - 0
- 0
Consider adding `doc(hidden)` to impl details?
#58 opened by crlf0710 - 0
Add conditional `impl` support
#57 opened by VoilaNeighbor - 0
- 0
Set up workflow permissions to least privileges
#54 opened by joycebrum - 3
Triggering `clippy::extra-unused-type-parameters` warning in latest nightly
#53 opened by MingweiSamuel - 0
- 0
Attribute macros
#51 opened by chancancode - 0
Found neat way to run compile-time assertions for generic type params
#50 opened by AngelicosPhosphoros - 0
Set a custom message for failing assertions
#49 opened by NoraCodes - 2
- 2
- 1
nightly failures on `assert_not_impl_any`
#46 opened by robjtede - 2
Feature suggestion: assert_{lt,gt,le,ge}_size
#18 opened by alecmocatta - 3
Consider using `const_panic` in the future.
#43 opened by konsumlamm - 22
More Assertions
#2 opened by nvzqz - 0
Possible bug in `const_assert_ne!`
#44 opened by konsumlamm - 0
Please publish const_assert_eq_usize
#41 opened by dtolnay - 0
const_assert should be featured more prominently
#39 opened by jgarvin - 1
By hygienic; don't assume Sized is in scope
#37 opened by Kestrer - 4
Feature suggestion: testability
#34 opened by Amomum - 0
assert_is_covariant / assert_is_contravariant
#35 opened by foobles - 1
Hope `does_impl` can be a separate crate.
#32 opened by crlf0710 - 1
assert_impl_all! with serde::Deserialize
#30 opened by SOF3 - 0
Feature suggestion: is_impl_all
#26 opened by Lej77 - 3
Feature request: `assert_expr_impl!`
#14 opened by scottjmaddox - 1
Assert supertrait
#25 opened by rodrimati1992 - 0
Custom error messages for trait-related assertions
#24 opened by nvzqz - 9
Feature: `assert_impl_any!`
#19 opened by nvzqz - 6
0.3.0 breaks Rust 2018 style macro imports
#10 opened by yvt - 0
Feature: Mutually exclusive trait implementations
#20 opened by nvzqz - 2
Non-additive feature behavior
#13 opened by dtolnay - 1
Assert an enum variant exists
#11 opened by nvzqz - 11
Limitations
#1 opened by nvzqz - 1
Assert associated type for trait impl
#4 opened by nvzqz - 8
Assert negative trait bounds
#8 opened by ecstatic-morse - 1
Feature request: `assert_type_in`
#15 opened by chankyin - 2
[Feature Request] assert_eq_type
#9 opened by tuxzz - 1
- 4
How errors looks? (info in README.md)
#7 opened by xoac - 4
Associated type scoping
#3 opened by sgodwincs