Show note where the macro failed to match#103439

Merged

bors merged 1 commit intorust-lang:masterfrom

Noratrieb:help-me-with-my-macro

Nov 15, 2022

Commits on Nov 14, 2022

Show a note where a macro failed to match
Noratrieb
committed