| compiler/testData/cli/jvm/Xjsr305/jsr305Migration.kt:2:19: warning: Java type mismatch: inferred type is 'Nothing?', but 'String' was expected. |
| annotated.foo(null) |
| ^^^^ |
| compiler/testData/cli/jvm/Xjsr305/jsr305Migration.kt:3:19: warning: Java type mismatch: inferred type is 'Nothing?', but 'String' was expected. |
| annotated.bar(null) |
| ^^^^ |
| compiler/testData/cli/jvm/Xjsr305/jsr305Migration.kt:4:5: warning: only safe (?.) or non-null asserted (!!.) calls are allowed on a nullable receiver of type 'String?'. |
| annotated.nullable().length |
| ^^^^^^^^^^^^^^^^^^^^ |
| OK |