Skip to content

[anodized-core] fix: postcondition closure input type ascription #745

[anodized-core] fix: postcondition closure input type ascription

[anodized-core] fix: postcondition closure input type ascription #745

Annotations

1 warning

Lint and test anodized with cfg `--config 'build.rustflags=["--cfg","anodized_discard_specs"]'`

succeeded Jun 29, 2026 in 38s