codeql

mirror of https://github.com/github/codeql.git synced 2026-05-24 16:17:07 +02:00

Files

Ian Lynagh 6d990d47db KE2: Use the right language version

With this, if I make the testsuite driver use 1.7, then the test code

sealed interface ReadResult
data class Number(val number: Int) : ReadResult
data class Text(val text: String) : ReadResult
data object EndOfFile : ReadResult

makes the extractor print

=== Diagnostics
--- Diagnostic:
WRONG_MODIFIER_TARGET
ERROR
Modifier 'data' is not applicable to 'standalone object'.
Location(startLine=5, startColumn=1, endLine=5, endColumn=4)
--- End diagnostics

2024-11-21 16:36:16 +00:00