link to traits working group tracking issue
This commit is contained in:
parent
e4aaa9c7f9
commit
6f99f12c2a
|
|
@ -1,10 +1,15 @@
|
||||||
# Trait solving (new-style)
|
# Trait solving (new-style)
|
||||||
|
|
||||||
🚧 This chapter describes "new-style" trait solving. This is still in
|
🚧 This chapter describes "new-style" trait solving. This is still in the
|
||||||
the process of being implemented; this chapter serves as a kind of
|
[process of being implemented][wg]; this chapter serves as a kind of
|
||||||
in-progress design document. If you would prefer to read about how the
|
in-progress design document. If you would prefer to read about how the
|
||||||
current trait solver works, check out
|
current trait solver works, check out
|
||||||
[this other chapter](./trait-resolution.html).🚧
|
[this other chapter](./trait-resolution.html). (By the way, if you
|
||||||
|
would like to help in hacking on the new solver, you will find
|
||||||
|
instructions for getting involved in the
|
||||||
|
[Traits Working Group tracking issue][wg].) 🚧
|
||||||
|
|
||||||
|
[wg]: https://github.com/rust-lang/rust/issues/48416
|
||||||
|
|
||||||
Trait solving is based around a few key ideas:
|
Trait solving is based around a few key ideas:
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue