mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Triage some date references related to traits

This commit is contained in:
Yuki Okushi 2022-05-28 12:24:55 +09:00 committed by Michael Goulet
parent 554c00e480
commit 669262932a
2 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/traits/chalk.md
View File

@ -1,13 +1,14 @@
# Chalk-based trait solving
[Chalk][chalk] is an experimental trait solver for Rust that is (as of <!--
date: 2021-01 --> January 2021) under development by the [Traits Working
Group][wg]. Its goal is to enable a lot of trait system features and bug fixes
date: 2022-05 --> May 2022) under development by the [Types team].
Its goal is to enable a lot of trait system features and bug fixes
that are hard to implement (e.g. GATs or specialization). 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].
help in hacking on the new solver, drop by on the rust-lang Zulip in the [`#t-types`]
stream and say hello!
[wg]: https://github.com/rust-lang/rust/issues/48416
[Types team]: https://github.com/rust-lang/types-team
[`#t-types`]: https://rust-lang.zulipchat.com/#narrow/stream/144729-t-types
The new-style trait solver is based on the work done in [chalk][chalk]. Chalk
recasts Rust's trait system explicitly in terms of logic programming. It does

2
src/traits/resolution.md
View File

@ -120,7 +120,7 @@ the obligation contains unbound inference variables.
The subroutines that decide whether a particular impl/where-clause/etc applies
to a particular obligation are collectively referred to as the process of
_matching_. As of <!-- date: 2021-01 --> January 2021, this amounts to unifying
_matching_. As of <!-- date: 2022-05 --> May 2022, this amounts to unifying
the `Self` types, but in the future we may also recursively consider some of the
nested obligations, in the case of an impl.