`:` means subtyping relation in Kotlin.
# language-proposals
d
:
means subtyping relation in Kotlin.