diff options
| author | bors <bors@rust-lang.org> | 2014-12-19 13:22:10 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2014-12-19 13:22:10 +0000 |
| commit | bd90b936d73c0ea2c261cd8e7b9c43764cb2da05 (patch) | |
| tree | 1e06eeba880be012ebfa11ab64911625c17c972e /src/libstd/sys/unix/stack_overflow.rs | |
| parent | 0efafac398ff7f28c5f0fe756c15b9008b3e0534 (diff) | |
| parent | ebf1e4f23adba8fc2a4441b8c2a7473c3a7c9d65 (diff) | |
| download | rust-bd90b936d73c0ea2c261cd8e7b9c43764cb2da05.tar.gz rust-bd90b936d73c0ea2c261cd8e7b9c43764cb2da05.zip | |
auto merge of #19884 : nikomatsakis/rust/issue-19730-perfect-forwarding, r=pnkfelix
Rewrite how the HRTB algorithm matches impls against obligations. Instead of impls providing higher-ranked trait-references, impls now once again only have early-bound regions. The skolemization checks are thus moved out into trait matching itself. This allows to implement "perfect forwarding" impls like those described in #19730. This PR builds on a previous PR that was already reviewed by @pnkfelix. r? @pnkfelix Fixes #19730
Diffstat (limited to 'src/libstd/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions