error[E0277]: the trait bound `Void: kani::Arbitrary` is not satisfied

|\
|     let _wrapper: Wrapper<Void> = kani::any();\
|                                   ^^^^^^^^^ the trait `kani::Arbitrary` is not implemented for `Void`\