lint/test/linters/kotlin/kotlin_good_1.kt