Skip to content

rework opaque types for the new solver#111131

Closed
lcnr wants to merge 5 commits into
rust-lang:masterfrom
lcnr:wip-opaque-next
Closed

rework opaque types for the new solver#111131
lcnr wants to merge 5 commits into
rust-lang:masterfrom
lcnr:wip-opaque-next

remove redundant assert

bb1bdb2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs