Kotlin has some flow typing which is somewhat rela...
# random
p
Kotlin has some flow typing which is somewhat related to path dependent types, but doesn't do the same thing