Tests against the reference implementation should notice the uninhabited parameter type
Clarification and motivation
If to contracts
folder I put a contract with never
parameter, the test will fail because the generator won't manage to produce a value and will give up.
Would be nice to detect this, as with the appearance of on-chain views, contracts that accept nothing start make sense.
Acceptance criteria
-
contracts/view_example.tz
hasnever
parameter.