On Monday, 20 June 2022 at 17:48:48 UTC, Antonio wrote:
Is there any way to specify that a variable, member or parameter can't be null?
You can use an invariant if it's a member of an aggregate but be warned that these are only checked at the boundaries of public member functions.
