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

line length

This commit is contained in:
lcnr 2023-01-13 10:31:29 +01:00 committed by Michael Goulet
parent 020898a81c
commit ba035fb554
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,6 +3,7 @@
While the exact approach to canonicalization for this solver will differ slightly While the exact approach to canonicalization for this solver will differ slightly
wrt to lifetimes, please visit [the relevant chalk chapter][chalk] for now. 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 for the solver. As of 10<!-- date-check --> 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 [chalk]: https://rust-lang.github.io/chalk/book/canonical_queries/canonicalization.html#canonicalization