Chris Smowton b9f4856d47 Merge pull request #10876 from smowton/smowton/feature/kotlin-default-method-auto-mad ...

Java models-as-data: infer Kotlin $default models from that of its parent function

2022-10-25 11:58:54 +01:00

..

defaults.expected

Merge pull request #10876 from smowton/smowton/feature/kotlin-default-method-auto-mad

2022-10-25 11:58:54 +01:00

defaults.ql

Kotlin: Add Callable.getKotlinParameterDefaultsProxy

2022-10-12 11:29:55 +01:00

erasure.expected

Fix class type parameter erasure within $default methods

2022-10-06 12:40:02 +01:00

erasure.ql

Kotlin: fix type variable erasure inside default function values

2022-10-07 17:31:38 +01:00

flowTest.expected

Implement $default method synthesis

2022-10-06 12:38:55 +01:00

flowTest.ql

Implement $default method synthesis

2022-10-06 12:38:55 +01:00

PrintAst.expected

Kotlin: Fix varargs dataflow, and varargs default handling

2022-10-21 11:14:41 +01:00

PrintAst.qlref

Implement $default method synthesis

2022-10-06 12:38:55 +01:00

test.kt

Kotlin: Fix varargs dataflow, and varargs default handling

2022-10-21 11:14:41 +01:00