Skip to content

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

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

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

Annotations

1 warning

check

succeeded Nov 26, 2024 in 3m 50s