like

```rust
impl<T: Storage> MyThingy<T>
where
    T::WRITE_BEHAVIOR: TwiceSecondZero {}
```