Closed frej closed 3 years ago
Trying to retrieve the value of a none-typed variant does not make sense, so let the verifier refuse such a constructs.
Trying to retrieve the value of a none-typed variant does not make sense, so let the verifier refuse such a constructs.