Skip to content

errors: only eagerly translate subdiagnostics#121085

Merged
bors merged 1 commit intorust-lang:masterfrom
davidtwco:always-eager-diagnostics
Feb 17, 2024
Merged

errors: only eagerly translate subdiagnostics#121085
bors merged 1 commit intorust-lang:masterfrom
davidtwco:always-eager-diagnostics

Commits

Commits on Feb 15, 2024