diff --git a/java/ql/test-kotlin1/library-tests/ministdlib/MiniStdLib.kt b/java/ql/test-kotlin1/library-tests/ministdlib/MiniStdLib.kt
index ba48bc63234..1aaba910fa2 100644
--- a/java/ql/test-kotlin1/library-tests/ministdlib/MiniStdLib.kt
+++ b/java/ql/test-kotlin1/library-tests/ministdlib/MiniStdLib.kt
@@ -26,6 +26,7 @@ public class Int {
     operator fun plus(other: Int): Int { return this.plus(other) }
     operator fun times(other: Int): Int { return this.times(other) }
     infix fun xor(other: Int): Int { return this.xor(other) }
+    infix fun and(other: Int): Int { return this.and(other) }
 }
 
 public object Unit {