So can we think `lateinit` is same as <http://type...
# language-proposals