Files
codeql/java/ql/test-kotlin1/query-tests/UselessNullCheck/UselessNullCheck.expected
2023-11-21 15:28:12 +00:00

2 lines
275 B
Plaintext

| Test.kt:15:12:15:21 | ... (value equals) ... | This check is useless. $@ cannot be null at this check, since it is guarded by $@. | Test.kt:15:9:15:9 | tmp0_safe_receiver | tmp0_safe_receiver | Test.kt:14:9:14:17 | ... (value not-equals) ... | ... (value not-equals) ... |