error[E0277]: the trait bound `modular_bitfield::private::checks::False: modular_bitfield::private::checks::SpecifierHasAtMost128Bits` is not satisfied --> $DIR/out-of-bounds.rs:4:1 | 4 | #[derive(BitfieldSpecifier, Debug)] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `modular_bitfield::private::checks::SpecifierHasAtMost128Bits` is not implemented for `modular_bitfield::private::checks::False` | ::: $WORKSPACE/src/private/checks.rs | | ::Out: SpecifierHasAtMost128Bits, | ------------------------- required by this bound in `modular_bitfield::private::checks::CheckSpecifierHasAtMost128Bits`