I fixed this particular issue by wrapping `{.requiresinit.}` type in
`seq[Requires]`. Prover was happy this this solution, and it is roughly the
same as my original idea, but even worse.
setKind(result, kind, inKind)
if result.kind == true:
result.req = default(Requires)
Run
- Generic way to set discriminant value that works on both C and... haxscramper
- Generic way to set discriminant value that works on both ... Hlaaftana
- Generic way to set discriminant value that works on b... haxscramper
- Generic way to set discriminant value that works ... haxscramper
- Generic way to set discriminant value that wo... Araq
- Generic way to set discriminant value th... haxscramper
- Generic way to set discriminant valu... haxscramper
- Generic way to set discriminant ... haxscramper
