Skip to content

do not emit OpaqueCast projections with -Znext-solver#139902

Merged
bors merged 2 commits intorust-lang:masterfrom
lcnr:no-opaque-cast-projection
Apr 17, 2025
Merged

do not emit `OpaqueCast` projections with `-Znext-solver`#139902
bors merged 2 commits intorust-lang:masterfrom
lcnr:no-opaque-cast-projection

Commits

Commits on Apr 17, 2025