EncodedAdt.constructorArgument should return an EncodedAdt with a specified number of flags. This number is known while generating code for branches in a pattern match.
Question 1: what about built-in naturals?
Question 2: after this issue is fixed, is it valid for EncodedAdt.caseOfBits to assert that all branches have the same number of flags?
EncodedAdt.constructorArgumentshould return anEncodedAdtwith a specified number of flags. This number is known while generating code for branches in a pattern match.EncodedAdt.caseOfBitsto assert that all branches have the same number of flags?