bd90b936d7
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 |
||
|---|---|---|
| .. | ||
| clean | ||
| html | ||
| core.rs | ||
| doctree.rs | ||
| externalfiles.rs | ||
| flock.rs | ||
| fold.rs | ||
| lib.rs | ||
| markdown.rs | ||
| passes.rs | ||
| plugins.rs | ||
| stability_summary.rs | ||
| test.rs | ||
| visit_ast.rs | ||