compiler/testData/cli/jvm/XjspecifyAnnotation/jspecifyStrict.out

compiler/testData/cli/jvm/XjspecifyAnnotation/jspecifyUsage.kt:4:11: error: null cannot be a value of a non-null type 'String'.
    a.foo(null)
          ^^^^
compiler/testData/cli/jvm/XjspecifyAnnotation/jspecifyUsage.kt:5:12: error: unsafe call on receiver of nullable type 'String?'. Consider using a safe call '?.' or non-null asserted call '!!.'.
    a.bar().length
           ^
COMPILATION_ERROR