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

update datecheck

This commit is contained in:
lcnr 2023-01-27 12:18:36 +01:00 committed by Michael Goulet
parent 7a5772a172
commit ccce1437bc
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/solve/canonicalization.md
View File

@ -3,7 +3,8 @@
While the exact approach to canonicalization for this solver will differ slightly
wrt to lifetimes, please visit [the relevant chalk chapter][chalk] for now.
As of 10<!-- date-check --> January 2023, canonicalization is not yet fully implemented
<!-- date-check: jan 2023 -->
As of 10 January 2023, canonicalization is not yet fully implemented
in the new solver.
[chalk]: https://rust-lang.github.io/chalk/book/canonical_queries/canonicalization.html#canonicalization