diff options
| author | Ariel Ben-Yehuda <ariel.byd@gmail.com> | 2018-11-25 16:14:54 +0200 |
|---|---|---|
| committer | Ariel Ben-Yehuda <ariel.byd@gmail.com> | 2018-12-17 01:59:32 +0200 |
| commit | 95bec6ed0987227be8228ea87e002a17c1cc8ed6 (patch) | |
| tree | 56df163cb1f4eae922f76960e855003e1eed46fa /src/test/incremental/thinlto | |
| parent | a8a2a887d0a65fff6c777f9bcd7b1c0bdfbbddc0 (diff) | |
| download | rust-95bec6ed0987227be8228ea87e002a17c1cc8ed6.tar.gz rust-95bec6ed0987227be8228ea87e002a17c1cc8ed6.zip | |
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. 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).
Diffstat (limited to 'src/test/incremental/thinlto')
0 files changed, 0 insertions, 0 deletions