I do think that a field which couldn’t be set back...
# announcements
m
I do think that a field which couldn’t be set back to null and which could therefore be smart-casted would be more useful than lateinit