mirror of
https://github.com/github/codeql.git
synced 2026-05-22 23:27:09 +02:00
KE2: Add bugfix from KE1's #17599
This commit is contained in:
@@ -8820,7 +8820,7 @@ OLD: KE1
|
||||
tw.writeHasLocation(id, locId)
|
||||
|
||||
// Extract constructor
|
||||
val unitType = useType(pluginContext.irBuiltIns.unitType)
|
||||
val unitType = useType(pluginContext.irBuiltIns.unitType, TypeContext.RETURN)
|
||||
tw.writeConstrs(ids.constructor, "", "", unitType.javaResult.id, id, ids.constructor)
|
||||
tw.writeConstrsKotlinType(ids.constructor, unitType.kotlinResult.id)
|
||||
tw.writeHasLocation(ids.constructor, locId)
|
||||
|
||||
Reference in New Issue
Block a user