Having the compiler perform an annotation check to...
# announcements
f
Having the compiler perform an annotation check to infer the Kotlin type is part of the language. So the test does actually not make sense in Kotlin.