Kotlin: Opt in to org.jetbrains.kotlin.ir.symbols.IrSymbolInternals

Needed for upstream master.
2026-04-24 00:05:14 +02:00 · 2023-08-31 15:57:57 +01:00
parent 1ec29bffbb
commit 3009f40814
1 changed files with 1 additions and 0 deletions
--- a/java/kotlin-extractor/build.py
+++ b/java/kotlin-extractor/build.py
@@ -92,6 +92,7 @@ def compile_to_dir(build_dir, srcs, classpath, java_classpath, output):
    kotlin_arg_file = build_dir + '/kotlin.args'
    kotlin_args = ['-Werror',
                   '-opt-in=kotlin.RequiresOptIn',
+                   '-opt-in=org.jetbrains.kotlin.ir.symbols.IrSymbolInternals',
                   '-d', output,
                   '-module-name', 'codeql-kotlin-extractor',
                   '-no-reflect', '-no-stdlib',