compiler/testData/cli/jvm/dfaWarningExampleK2.kt - third_party/github/JetBrains/kotlin - Git at Google

 fun foo(arg: Any) {
     if (arg is String) {
         (arg as String).length
     }
 }
	fun foo(arg: Any) {
	if (arg is String) {
	(arg as String).length
	}
	}