Skip to content

conditionally ignore fatal diagnostic in the SilentEmitter#122737

Merged
bors merged 1 commit intorust-lang:masterfrom
ytmimi:conditionally_ignore_fatal_diagnostic
Mar 24, 2024
Merged

conditionally ignore fatal diagnostic in the SilentEmitter#122737
bors merged 1 commit intorust-lang:masterfrom
ytmimi:conditionally_ignore_fatal_diagnostic

Commits

Commits on Mar 19, 2024