Skip to content

[DO NOT MERGE] Expand core's prelude with more types#125107

Closed
ChrisDenton wants to merge 6 commits into
rust-lang:masterfrom
ChrisDenton:core-prelude
Closed

[DO NOT MERGE] Expand core's prelude with more types#125107
ChrisDenton wants to merge 6 commits into
rust-lang:masterfrom
ChrisDenton:core-prelude

Remove some types from the prelude

8b2e9b1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs