There are several situations where an expression is fully evaluated, but we don't capture this because we don't consider definition values. I think pattern literals fall into this category.
There are several situations where an expression is fully evaluated, but we don't capture this because we don't consider definition values.
I think pattern literals fall into this category.