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 qldoc annotations for classes that no longer exist

Browse Source
This commit is contained in:
Arthur Baars
2024-09-19 15:48:00 +02:00
parent 2fdc529ac9
commit 57458d8f38
1 changed files with 28 additions and 108 deletions
Download Patch File Download Diff File Expand all files Collapse all files

136
rust/schema/annotations.py
View File

@@ -107,18 +107,6 @@ class _:
""" """
@annotate(MissingExpr)
class _:
"""
A missing expression, used as a placeholder for incomplete syntax.
```rust
let x = non_existing_macro!();
```
"""
pass
@annotate(PathExpr) @annotate(PathExpr)
class _: class _:
""" """
@@ -182,46 +170,17 @@ class _:
""" """
@annotate(AsyncBlockExpr) # @annotate(ConstExpr)
@rust.doc_test_signature("() -> i32") # @rust.doc_test_signature("() -> bool")
class _: # class _:
""" # """
An async block expression. For example: # A `const` block expression. For example:
```rust # ```rust
async { # if const { SRC::IS_ZST || DEST::IS_ZST || mem::align_of::<SRC>() != mem::align_of::<DEST>() } {
let x = 42; # return false;
x # }
}.await # ```
``` # """
"""
pass
@annotate(ConstExpr)
@rust.doc_test_signature("() -> bool")
class _:
"""
A `const` block expression. For example:
```rust
if const { SRC::IS_ZST || DEST::IS_ZST || mem::align_of::<SRC>() != mem::align_of::<DEST>() } {
return false;
}
```
"""
@annotate(UnsafeBlockExpr)
class _:
"""
An unsafe block expression. For example:
```rust
let layout = unsafe {
let x = 42;
Layout::from_size_align_unchecked(size, align)
};
```
"""
pass
@annotate(LoopExpr) @annotate(LoopExpr)
@@ -487,16 +446,6 @@ class _:
""" """
@annotate(BoxExpr)
class _:
"""
A box expression. For example:
```rust
let x = #[rustc_box] Box::new(42);
```
"""
@annotate(PrefixExpr) @annotate(PrefixExpr)
class _: class _:
""" """
@@ -588,25 +537,25 @@ class _:
pass pass
@annotate(ElementListExpr) # @annotate(ElementListExpr)
class _: # class _:
""" # """
An element list expression. For example: # An element list expression. For example:
```rust # ```rust
[1, 2, 3, 4, 5]; # [1, 2, 3, 4, 5];
[1, 2, 3, 4, 5][0] = 6; # [1, 2, 3, 4, 5][0] = 6;
``` # ```
""" # """
@annotate(RepeatExpr) # @annotate(RepeatExpr)
class _: # class _:
""" # """
A repeat expression. For example: # A repeat expression. For example:
```rust # ```rust
[1; 10]; # [1; 10];
``` # ```
""" # """
@annotate(LiteralExpr) @annotate(LiteralExpr)
@@ -689,35 +638,6 @@ class _:
""" """
# At the HIR-level, we don't have items, only some markers without location indicating where they used to be.
@annotate(ItemStmt)
@qltest.skip
class _:
"""
An item statement. For example:
```rust
fn print_hello() {
println!("Hello, world!");
}
print_hello();
```
"""
pass
@annotate(MissingPat)
class _:
"""
A missing pattern, used as a place holder for incomplete syntax.
```rust
match Some(42) {
.. => "bad use of .. syntax",
};
```
"""
pass
@annotate(WildcardPat) @annotate(WildcardPat)
class _: class _:
""" """