File tree Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Original file line number Diff line number Diff line change @@ -44,7 +44,7 @@ being permitted in the type system is that every value must be uniquely represen
4444a specific value must only be representable in one specific way. For example: there is only one way
4545to represent an array of two integers as a ` ValTree ` : ` ValTree::Branch(&[ValTree::Leaf(first_int), ValTree;:Leaf(second_int)]) ` .
4646Even though theoretically a ` [u32; 2] ` could be encoded in a ` u64 ` and thus just be a ` ValTree::Leaf(bits_of_two_u32) ` , that
47- is not a legal construction of ` ValTree ` (and is so complex to do, that it is unlikely to tempt anyone to do so).
47+ is not a legal construction of ` ValTree ` (and is so complex to do, so it is unlikely anyone is tempted to do so).
4848These rules also mean that some values are not representable. There can be no ` union ` s in type level
4949constants, as it is not clear how they should be represented, because their active variant is unknown.
5050Similarly there is no way to represent pointers, as addresses are unknown at compile-time and thus we
You can’t perform that action at this time.
0 commit comments