Add ConstAccess class with getConst() predicate and test cases

Co-authored-by: hvitved <3667920+hvitved@users.noreply.github.com>

Author: Copilot

rust/ql/lib/codeql/rust/elements/Const.qll

@@ -0,0 +1,23 @@
+import rust
+import utils.test.InlineExpectationsTest
+import TestUtils
+
+query predicate constAccess(ConstAccess ca, Const c) {
+  toBeTested(ca) and c = ca.getConst()
+}
+
+module ConstAccessTest implements TestSig {
+  string getARelevantTag() { result = "const_access" }
+
+  predicate hasActualResult(Location location, string element, string tag, string value) {
+    exists(ConstAccess ca |
+      toBeTested(ca) and
+      location = ca.getLocation() and
+      element = ca.toString() and
+      tag = "const_access" and
+      value = ca.getConst().getName().getText()
+    )
+  }
+}
+
+import MakeTest<ConstAccessTest>

rust/ql/lib/codeql/rust/elements/internal/ConstImpl.qll

@@ -0,0 +1,42 @@
+const GLOBAL_CONST: i32 = 42;
+const STRING_CONST: &str = "hello";
+
+struct MyStruct {
+    value: i32,
+}
+
+impl MyStruct {
+    const ASSOC_CONST: i32 = 100;
+}
+
+mod my_module {
+    pub const MODULE_CONST: i32 = 200;
+}
+
+fn use_consts() {
+    // $ const_access=GLOBAL_CONST
+    let x = GLOBAL_CONST;
+    // $ const_access=GLOBAL_CONST
+    println!("{}", GLOBAL_CONST);
+    
+    // $ const_access=STRING_CONST
+    let s = STRING_CONST;
+    
+    // $ const_access=ASSOC_CONST
+    let y = MyStruct::ASSOC_CONST;
+    
+    // $ const_access=MODULE_CONST
+    let z = my_module::MODULE_CONST;
+    
+    // $ const_access=GLOBAL_CONST
+    if GLOBAL_CONST > 0 {
+        println!("positive");
+    }
+    
+    // $ const_access=ASSOC_CONST
+    let arr = [MyStruct::ASSOC_CONST; 5];
+}
+
+fn main() {
+    use_consts();
+}