Kotlin: cover context parameter setters

Extend the context-parameter regression test to an extension-property setter.
Check the extension receiver, context argument, assigned value, and resolved
setter call.

The preceding extractor fix already handles this case correctly. This commit
adds coverage only and requires no additional extractor change.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Author: andersfugmann

java/ql/test-kotlin2/library-tests/context-parameters/test.expected

@@ -3,11 +3,18 @@ parameters
 | test.kt:8:1:8:45 | logged | test.kt:8:12:8:24 | value | 1 | String |
 | test.kt:12:5:12:28 | getLogged | test.kt:10:9:10:22 | logger | 1 | Logger |
 | test.kt:12:5:12:28 | getLogged | test.kt:11:5:11:10 | <this> | 0 | String |
+| test.kt:13:5:15:5 | setLogged | test.kt:10:9:10:22 | logger | 1 | Logger |
+| test.kt:13:5:15:5 | setLogged | test.kt:11:5:11:10 | <this> | 0 | String |
+| test.kt:13:5:15:5 | setLogged | test.kt:13:9:13:13 | value | 2 | String |
 calls
-| test.kt:15:5:15:21 | logged(...) | test.kt:14:43:16:1 | invoke | test.kt:8:1:8:45 | logged | test.kt:15:5:15:21 | TestKt | 2 |
-| test.kt:15:5:15:28 | getLogged(...) | test.kt:14:43:16:1 | invoke | test.kt:12:5:12:28 | getLogged | test.kt:15:5:15:28 | TestKt | 2 |
+| test.kt:18:17:18:33 | logged(...) | test.kt:17:43:21:1 | invoke | test.kt:8:1:8:45 | logged | test.kt:18:17:18:33 | TestKt | 2 |
+| test.kt:18:17:18:40 | getLogged(...) | test.kt:17:43:21:1 | invoke | test.kt:12:5:12:28 | getLogged | test.kt:18:17:18:40 | TestKt | 2 |
+| test.kt:19:5:19:27 | setLogged(...) | test.kt:17:43:21:1 | invoke | test.kt:13:5:15:5 | setLogged | test.kt:19:5:19:27 | TestKt | 3 |
 arguments
-| test.kt:15:5:15:21 | logged(...) | 0 | test.kt:0:0:0:0 | p0 |
-| test.kt:15:5:15:21 | logged(...) | 1 | test.kt:15:12:15:20 | "message" |
-| test.kt:15:5:15:28 | getLogged(...) | 0 | test.kt:15:5:15:21 | logged(...) |
-| test.kt:15:5:15:28 | getLogged(...) | 1 | test.kt:0:0:0:0 | p0 |
+| test.kt:18:17:18:33 | logged(...) | 0 | test.kt:0:0:0:0 | p0 |
+| test.kt:18:17:18:33 | logged(...) | 1 | test.kt:18:24:18:32 | "message" |
+| test.kt:18:17:18:40 | getLogged(...) | 0 | test.kt:18:17:18:33 | logged(...) |
+| test.kt:18:17:18:40 | getLogged(...) | 1 | test.kt:0:0:0:0 | p0 |
+| test.kt:19:5:19:27 | setLogged(...) | 0 | test.kt:19:5:19:12 | "target" |
+| test.kt:19:5:19:27 | setLogged(...) | 1 | test.kt:0:0:0:0 | p0 |
+| test.kt:19:5:19:27 | setLogged(...) | 2 | test.kt:19:23:19:27 | value |

java/ql/test-kotlin2/library-tests/context-parameters/test.kt

@@ -8,9 +8,14 @@ context(logger: Logger)
 fun logged(value: String) = logger.log(value)
 
 context(logger: Logger)
-val String.logged: String
+var String.logged: String
     get() = logger.log(this)
+    set(value) {
+        logger.log(value)
+    }
 
 fun use(logger: Logger) = context(logger) {
-    logged("message").logged
+    val value = logged("message").logged
+    "target".logged = value
+    value
 }

java/ql/test-kotlin2/library-tests/context-parameters/test.ql

@@ -1,6 +1,6 @@
 import java
 
-predicate isContextCallable(Callable c) { c.getName() = ["logged", "getLogged"] }
+predicate isContextCallable(Callable c) { c.getName() = ["logged", "getLogged", "setLogged"] }
 
 query predicate parameters(Callable callable, Parameter parameter, int index, string parameterType) {
   isContextCallable(callable) and