[rustc.git] / src / librustc / infer / higher_ranked / README.md

To learn more about how Higher-ranked trait bounds work in the _old_ trait
solver, see [this chapter][oldhrtb] of the rustc-guide.

To learn more about how they work in the _new_ trait solver, see [this
chapter][newhrtb].

[oldhrtb]: https://rust-lang.github.io/rustc-guide/traits/hrtb.html
[newhrtb]: https://rust-lang.github.io/rustc-guide/borrow_check/region_inference.html#placeholders-and-universes
Commit	Line	Data
9fa01778 XL	1	To learn more about how Higher-ranked trait bounds work in the _old_ trait
9fa01778 XL	2	solver, see [this chapter][oldhrtb] of the rustc-guide.
85aaf69f	3
9fa01778 XL	4	To learn more about how they work in the _new_ trait solver, see [this
9fa01778 XL	5	chapter][newhrtb].
85aaf69f	6
9fa01778 XL	7	[oldhrtb]: https://rust-lang.github.io/rustc-guide/traits/hrtb.html
9fa01778 XL	8	[newhrtb]: https://rust-lang.github.io/rustc-guide/borrow_check/region_inference.html#placeholders-and-universes