compiler/testData/cli/jvm/dfaWarningExampleK2_23.out - third_party/github/JetBrains/kotlin - Git at Google

 compiler/testData/cli/jvm/dfaWarningExampleK2.kt:3:14: warning: no cast needed.
         (arg as String).length
              ^^^^^^^^^
 OK
	compiler/testData/cli/jvm/dfaWarningExampleK2.kt:3:14: warning: no cast needed.
	(arg as String).length
	^^^^^^^^^
	OK