github
diff --git a/‎java/ql/test/kotlin/library-tests/exprs/DB-CHECK.expected‎
Lines changed: 3 additions & 0 deletions b/‎java/ql/test/kotlin/library-tests/exprs/DB-CHECK.expected‎
Lines changed: 3 additions & 0 deletions
@@ -0,0 +1,3 @@
+[VALUE_NOT_IN_TYPE] predicate callableBinding(@caller callerid, @callable callee): Value 4373 of field callee is not in type @callable. Appears in tuple (4372,4373)
+	Relevant element: callee=4373
+		Full ID for 4373: @"callable;(4112).invoke((18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18))(186)". The ID may expand to @"callable;{@"class;kotlin.jvm.functions.FunctionN;{@"class;java.lang.Boolean"}"}.invoke({@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"}){@"class;java.lang.Boolean"}"
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+[VALUE_NOT_IN_TYPE] predicate callableBinding(@caller callerid, @callable callee): Value 4373 of field callee is not in type @callable. Appears in tuple (4372,4373)`
	`2`	`+ Relevant element: callee=4373`
	`3`	+ Full ID for 4373: @"callable;(4112).invoke((18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18))(186)". The ID may expand to @"callable;{@"class;kotlin.jvm.functions.FunctionN;{@"class;java.lang.Boolean"}"}.invoke({@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"}){@"class;java.lang.Boolean"}"