hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Rust: remove accidental schema annotation

Browse Source
This commit is contained in:
Paolo Tranquilli
2024-09-06 14:26:36 +02:00
parent 8c5cc2efdc
commit 6111a7497d
3 changed files with 7 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
rust/.generated.list generated
View File

@@ -27,5 +27,5 @@ ql/lib/codeql/rust/generated/UnknownFile.qll ec9d1a3f15ecbf1743d4e39cb3b2f217aa9
ql/lib/codeql/rust/generated/UnknownLocation.qll a19e2838c52d702d268ae530f3dbd6fcd8bb28a237a52636a960f225454103cf a19e2838c52d702d268ae530f3dbd6fcd8bb28a237a52636a960f225454103cf
ql/test/extractor-tests/generated/File/File.ql dec43be882fad904fab0c6447ca93633d801cb08ff8bec309befde7d2b9e5dda 74e1f1d698558c35fa03935cc34f4c8145d376b56d7657b18aeb338f5ca752cf
ql/test/extractor-tests/generated/Function/Function.ql ae5d44a85047d50d8fbd3b62290c6935f061f07076b0070998173957e54eb43f 3e7fb6fb82463b96577394213915d8deae5332acdec2fcc07aa3eb8560420edd
ql/test/extractor-tests/generated/Function/gen_function.rs d5c3cced4c377b05a4aa7e7b82deeb0f4c0bdf5dbca19490c589040ef79c9314 d5c3cced4c377b05a4aa7e7b82deeb0f4c0bdf5dbca19490c589040ef79c9314
ql/test/extractor-tests/generated/Function/gen_function.rs a1acf52b4530ea14570c7fcd527adf386f4eabfdb1c6406200442f8ce2c635be a1acf52b4530ea14570c7fcd527adf386f4eabfdb1c6406200442f8ce2c635be
ql/test/extractor-tests/generated/Module/MISSING_SOURCE.txt cc7c395e7c651d62596826b1a0bedf10f35d01b8afeef47600b4ddaf804f406e cc7c395e7c651d62596826b1a0bedf10f35d01b8afeef47600b4ddaf804f406e

14
rust/ql/test/extractor-tests/generated/Function/gen_function.rs generated
View File

@@ -1,11 +1,9 @@
// generated by codegen
fn my_test<'a, 'b, T: Eq>(x: &'a [T], y: &'b [T]) -> &'a [T] {
// A function declaration. For example
fn foo(x: u32) -> u64 { (x + 1).into()
}
// A function declaration within a trait might not have a body:
trait Trait {
fn bar();
}
// A function declaration. For example
fn foo(x: u32) -> u64 { (x + 1).into()
}
// A function declaration within a trait might not have a body:
trait Trait {
fn bar();
}

1
rust/schema.py
View File

@@ -56,7 +56,6 @@ class Module(Declaration):
# TODO name
declarations: list[Declaration] | child
@rust.doc_test_function("my_test", lifetimes="ab", T="Eq", x="&'a [T]", y="&'b [T]", return_type="&'a [T]")
class Function(Declaration):
"""
A function declaration. For example