Skip to content

core/any: remove Provider trait, rename Demand to Request#113464

Merged
bors merged 1 commit into
rust-lang:masterfrom
waynr:remove-provider-trait
Aug 14, 2023
Merged

core/any: remove Provider trait, rename Demand to Request#113464
bors merged 1 commit into
rust-lang:masterfrom
waynr:remove-provider-trait

core/any: remove Provider trait

a646b39
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs