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

tautschnig wants to merge 2 commits into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:no-proc-macro-error2tautschnig/kani:no-proc-macro-error2Copy head branch name to clipboard