From ba035fb554b105edfdda2e3a646b3d69d7c0a0e5 Mon Sep 17 00:00:00 2001 From: lcnr Date: Fri, 13 Jan 2023 10:31:29 +0100 Subject: [PATCH] line length --- src/solve/canonicalization.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/solve/canonicalization.md b/src/solve/canonicalization.md index b81bc1ce..0ad22687 100644 --- a/src/solve/canonicalization.md +++ b/src/solve/canonicalization.md @@ -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 January 2023, canonicalization is not yet fully implemented for the solver. +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 \ No newline at end of file