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.