Skip to content

improve lifetime checking for proof_with

8fb7da4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Add proof_with() and declare_with() builtin functions for ghost/track… #2436

improve lifetime checking for proof_with
8fb7da4
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
full-test
succeeded May 13, 2026 in 34m 22s