From dc7019807f206c22d730b4181a2e36f23a95654b Mon Sep 17 00:00:00 2001 From: Yuki Okushi Date: Sat, 28 May 2022 12:24:55 +0900 Subject: [PATCH] Triage some date references related to traits --- src/traits/chalk.md | 11 ++++++----- src/traits/resolution.md | 2 +- 2 files changed, 7 insertions(+), 6 deletions(-) diff --git a/src/traits/chalk.md b/src/traits/chalk.md index db3c19a38..d4045c460 100644 --- a/src/traits/chalk.md +++ b/src/traits/chalk.md @@ -1,13 +1,14 @@ # Chalk-based trait solving [Chalk][chalk] is an experimental trait solver for Rust that is (as of 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 diff --git a/src/traits/resolution.md b/src/traits/resolution.md index 70b53e910..c22ee6de6 100644 --- a/src/traits/resolution.md +++ b/src/traits/resolution.md @@ -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 January 2021, this amounts to unifying +_matching_. As of 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.