Skip to content

[Prover][trivial] Fix generation of IsValid for variants with no fields #41059

[Prover][trivial] Fix generation of IsValid for variants with no fields

[Prover][trivial] Fix generation of IsValid for variants with no fields #41059