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 3d3fce1Copy full SHA for 3d3fce1
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). It is suggested to
5
+> 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