Skip to content

Disallow subtyping between T and U in T: Unsize<U>.#40319

Merged
bors merged 3 commits into
rust-lang:masterfrom
eddyb:it's-"unsize"-not-"unsound"
Mar 12, 2017

Hidden character warning

The head ref may contain hidden characters: "it's-"unsize"-not-"unsound""
Merged

Disallow subtyping between T and U in T: Unsize<U>.#40319
bors merged 3 commits into
rust-lang:masterfrom
eddyb:it's-"unsize"-not-"unsound"

Use subtyping on the target of unsizing coercions.

cfb41ae
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs