Skip to content

Do not emit solver errors that contain error types#148290

Merged
bors merged 1 commit intorust-lang:masterfrom
oli-obk:push-qwxvxyopypry
Nov 2, 2025
Merged

Do not emit solver errors that contain error types#148290
bors merged 1 commit intorust-lang:masterfrom
oli-obk:push-qwxvxyopypry

Commits

Commits on Oct 31, 2025