Skip to content

feat: #[ext(uninterpreted)] global annotation and interpreted=foo per-spec override #215

feat: #[ext(uninterpreted)] global annotation and interpreted=foo per-spec override

feat: #[ext(uninterpreted)] global annotation and interpreted=foo per-spec override #215

Annotations

1 warning

claude-review

succeeded Mar 11, 2026 in 10m 30s