Skip to content

Replace deprecated proc-macro-error2 with proc-macro2-diagnostics#4613

Open
tautschnig wants to merge 2 commits into
model-checking:mainfrom
tautschnig:no-proc-macro-error2
Open

Replace deprecated proc-macro-error2 with proc-macro2-diagnostics#4613
tautschnig wants to merge 2 commits into
model-checking:mainfrom
tautschnig:no-proc-macro-error2

kani_macros: report invalid proof options as structured diagnostics

31d534b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Compiler Benchmarks / compile-timer-short
succeeded Jun 24, 2026 in 12m 17s