but of course in kotlin it does have a type, and t...
# language-proposals
g
but of course in kotlin it does have a type, and that lets us apply a whole lot of reasoning to it