Skip to content

Allow opaque types in trait impl headers and rely on coherence to reject unsound cases - #103488

Merged
bors merged 10 commits into
rust-lang:masterfrom
oli-obk:impl_trait_for_tait
Nov 23, 2022
Merged

Allow opaque types in trait impl headers and rely on coherence to reject unsound cases#103488
bors merged 10 commits into
rust-lang:masterfrom
oli-obk:impl_trait_for_tait

Test generalization during coherence

c16a90f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs