rustdoc: skip // some variants omitted if enum is #[non_exhaustive]#109007
Merged
bors merged 1 commit intorust-lang:masterfrom Mar 26, 2023
Merged
rustdoc: skip `// some variants omitted` if enum is `#[non_exhaustive]`#109007bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom