| compiler/testData/cli/jvm/XjspecifyAnnotation/jspecifyUsage.kt:4:11: warning: Java type mismatch: inferred type is 'Nothing?', but 'String' was expected. | |
| a.foo(null) | |
| ^^^^ | |
| compiler/testData/cli/jvm/XjspecifyAnnotation/jspecifyUsage.kt:5:5: warning: unsafe call on receiver of nullable type 'String?'. Consider using a safe call '?.' or non-null asserted call '!!.'. | |
| a.bar().length | |
| ^^^^^^^ | |
| compiler/testData/cli/jvm/XjspecifyAnnotation/jspecifyUsage.kt:5:13: warning: unused return value of 'length'. | |
| a.bar().length | |
| ^^^^^^ | |
| OK |