Martin Nordholts 94477e3323 Fixup missing renames from #[main] to #[rustc_main]
In fc357039f9 `#[main]` was removed and replaced with `#[rustc_main]`.
In some place the rename was forgotten, which makes the current code
confusing, because at first glance it seems that `#[main]` is still
around. Perform the renames also in these places.
2022-06-22 18:24:09 +02:00
..
2021-12-31 12:51:27 -05:00
2022-02-19 17:27:43 +01:00
2022-02-19 17:27:43 +01:00
2022-03-30 01:39:38 -04:00
2021-12-15 23:43:13 +01:00