Skip to content

Various coercion cleanups#139582

Merged
bors merged 7 commits into
rust-lang:masterfrom
oli-obk:coercion-cleanups
Apr 14, 2025
Merged

Various coercion cleanups#139582
bors merged 7 commits into
rust-lang:masterfrom
oli-obk:coercion-cleanups

Avoid some more duplication

f80b121
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs