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 src/solve/canonicalization.md 

Co-authored-by: Tshepang Mbambo <tshepang@gmail.com>
This commit is contained in:
lcnr 2023-01-13 10:23:54 +01:00 committed by Michael Goulet
parent 17d68d8412
commit 020898a81c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/solve/canonicalization.md
View File

@ -3,6 +3,6 @@
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 the 10th January 2023 canonicalization is not yet fully implemented for the solver.
As of 10<!-- date-check --> January 2023, canonicalization is not yet fully implemented for the solver.
[chalk]: https://rust-lang.github.io/chalk/book/canonical_queries/canonicalization.html#canonicalization