Merge branch 'main' into post-release-prep/codeql-cli-2.25.0

2026-04-27 01:35:13 +02:00 · 2026-03-19 13:07:00 +01:00
parent e3dbf5b022 7d538988a6
commit 2139b97628
71 changed files with 2031 additions and 1831 deletions
--- a/shared/util/codeql/util/Option.qll
+++ b/shared/util/codeql/util/Option.qll
@@ -56,6 +56,9 @@ module Option<TypeWithToString T> {

  /** Gets the given element wrapped as an `Option`. */
  Some some(T c) { result = TSome(c) }
+
+  /** Gets the `None` value. */
+  None none_() { any() }
 }

 /**