- This is found in https://github.com/runtimeverification/mir-semantics/pull/809 `kmir/src/tests/integration/data/exec-smir/call-with-args/closure-call.state` ``` thunk ( #decodeConstant ( constantKindZeroSized , ty ( 30 ) , typeInfoVoidType ) ) ``` - `Type 30: None` - This might be a cast that needs https://github.com/runtimeverification/mir-semantics/pull/821, but need more investigation