We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 54e91b0 commit 17fe3e9Copy full SHA for 17fe3e9
src/const-eval.md
@@ -56,7 +56,7 @@ The basic rule for
56
being permitted in the type system is that every value must be uniquely represented. In other
57
words: a specific value must only be representable in one specific way. For example: there is only
58
one way to represent an array of two integers as a `ValTree`:
59
-`ValTree::Branch(&[ValTree::Leaf(first_int), ValTree;:Leaf(second_int)])`.
+`ValTree::Branch(&[ValTree::Leaf(first_int), ValTree::Leaf(second_int)])`.
60
Even though theoretically a `[u32; 2]` could be encoded in a `u64` and thus just be a
61
`ValTree::Leaf(bits_of_two_u32)`, that is not a legal construction of `ValTree`
62
(and is very complex to do, so it is unlikely anyone is tempted to do so).
0 commit comments