diff options
| author | bors <bors@rust-lang.org> | 2018-12-20 03:41:00 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2018-12-20 03:41:00 +0000 |
| commit | e42247f949fe2ce64d688f1585a2dbbc66720406 (patch) | |
| tree | ca530927acecbfb5add391ee6ed3221e2615c387 /src/libstd/sys/unix/stack_overflow.rs | |
| parent | daa8792f17ad5484ec1e3b0b1e2557f8603219d0 (diff) | |
| parent | 5b7443810794aa9f771ea26a5e72ae2b567481b0 (diff) | |
| download | rust-e42247f949fe2ce64d688f1585a2dbbc66720406.tar.gz rust-e42247f949fe2ce64d688f1585a2dbbc66720406.zip | |
Auto merge of #56219 - arielb1:never-coerce-box, r=nikomatsakis
trigger unsized coercions keyed on Sized bounds This PR causes unsized coercions to not be disabled by `$0: Unsize<dyn Object>` coercion obligations when we have an `$0: Sized` obligation somewhere. This should be mostly backwards-compatible, because in these cases not doing the unsize coercion should have caused the `$0: Sized` obligation to fail. Note that `X: Unsize<dyn Object>` obligations can't fail *as obligations* if `X: Sized` holds, so this still maintains some version of monotonicity (I think that an unsized coercion can't be converted to no coercion by unifying type variables). Fixes #49593 (unblocking never_type). r? @eddyb cc @nikomatsakis
Diffstat (limited to 'src/libstd/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions