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: Boxy <supbscripter@gmail.com>
This commit is contained in:
lcnr 2023-01-12 15:23:33 +01:00 committed by Michael Goulet
parent 61771df6d8
commit 15bd9e49bb
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 canonicalization is not yet fully implemented for the solver.
As of the 10th January 2023 canonicalization is not yet fully implemented for the solver.
[chalk]: https://rust-lang.github.io/chalk/book/canonical_queries/canonicalization.html#canonicalization