line length
This commit is contained in:
parent
1bb1a47ec3
commit
ee3c0aa2b7
1 changed files with 2 additions and 1 deletions
|
|
@ -3,6 +3,7 @@
|
|||
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 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
|
||||
Loading…
Add table
Add a link
Reference in a new issue