mirror of
https://github.com/github/codeql.git
synced 2025-12-16 16:53:25 +01:00
Be explicit about Kotlin database type
This commit is contained in:
@@ -5748,7 +5748,7 @@ open class KotlinFileExtractor(
|
|||||||
// Match Java by using a special <nulltype> for nulls, rather than Kotlin's view of this which is
|
// Match Java by using a special <nulltype> for nulls, rather than Kotlin's view of this which is
|
||||||
// kotlin.Nothing?, the type that can only contain null.
|
// kotlin.Nothing?, the type that can only contain null.
|
||||||
val nullTypeName = "<nulltype>"
|
val nullTypeName = "<nulltype>"
|
||||||
val javaNullType = tw.getLabelFor(
|
val javaNullType = tw.getLabelFor<DbPrimitive>(
|
||||||
"@\"type;$nullTypeName\"",
|
"@\"type;$nullTypeName\"",
|
||||||
{ tw.writePrimitives(it, nullTypeName) }
|
{ tw.writePrimitives(it, nullTypeName) }
|
||||||
)
|
)
|
||||||
|
|||||||
Reference in New Issue
Block a user