Allow using bool
instead of Option<()>
in diagnostics#108402
Merged
bors merged 1 commit intorust-lang:masterfrom Mar 6, 2023
Merged
Allow using `bool` instead of `Option<()>` in diagnostics#108402bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom