Closed Kyuuhachi closed 1 month ago
Implementing identity through the derived form would fix this, but it's a decision we have so far deferred. I've opened up #67 to come to a conclusion. If the outcome is "commit to mask-before", we can make the identity the structural one, and thus enable matching.
Consts of these types cannot be used in patterns.