Change start to #[start] in some diagnosis#116062
Merged
bors merged 1 commit intorust-lang:masterfrom Sep 22, 2023
eduardosm:start-fn-diag
Merged
Change `start` to `#[start]` in some diagnosis#116062bors merged 1 commit intorust-lang:masterfrom eduardosm:start-fn-diag
bors merged 1 commit intorust-lang:masterfrom
eduardosm:start-fn-diag
