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