Skip to content

Avoid an ICE in diagnostics#121020

Merged
bors merged 1 commit intorust-lang:masterfrom
oli-obk:diagnostics_ice
Feb 16, 2024
Merged

Avoid an ICE in diagnostics#121020
bors merged 1 commit intorust-lang:masterfrom
oli-obk:diagnostics_ice

Commits

Commits on Feb 13, 2024