We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
FIXME
1 parent 3ffb774 commit d1b642bCopy full SHA for d1b642b
src/traits/canonicalization.md
@@ -1,5 +1,9 @@
1
# Canonicalization
2
3
+> **NOTE**: FIXME: The content of this chapter has some overlap with
4
+> [Next-gen trait solving Canonicalization chapter](../solve/canonicalization.html).
5
+> It is suggested to reorganize these contents in the future.
6
+
7
Canonicalization is the process of **isolating** an inference value
8
from its context. It is a key part of implementing
9
[canonical queries][cq], and you may wish to read the parent chapter
0 commit comments