Skip to content

rustc: Remove #[rustc_synthetic]#91002

Merged
bors merged 1 commit intorust-lang:masterfrom petrochenkov:nosynthNov 18, 2021

Commits

Commits on Nov 18, 2021