On Saturday, 12 September 2020 at 19:26:30 UTC, Stefan Koch wrote: > Rather than encouraging a state in which existence and logic > are statically asserted. Are you referring to non-nullable classes? Which has been discussed at older DConfs.