[Prover][trivial] Fix generation of IsValid
for variants with no fields
#41031
This job was skipped
Loading
IsValid
for variants with no fields
#41031