Skip to content

Commit 86215b4

Browse files
committed
Rename IfLet to IfStmt
1 parent 85e51bf commit 86215b4

15 files changed

Lines changed: 169 additions & 169 deletions

File tree

rust/extractor/src/generated/.generated.list

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

rust/extractor/src/generated/top.rs

Lines changed: 32 additions & 32 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

rust/extractor/src/translate.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -359,7 +359,7 @@ impl CrateTranslator<'_> {
359359
initializer.map(|initializer| self.emit_expr(initializer, body, source_map));
360360
let else_ = else_branch.map(|else_| self.emit_expr(else_, body, source_map));
361361

362-
self.trap.emit(generated::IfLet {
362+
self.trap.emit(generated::LetStmt {
363363
id: TrapId::Star,
364364
location,
365365
pat,

rust/ql/.generated.list

Lines changed: 8 additions & 8 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

rust/ql/.gitattributes

Lines changed: 3 additions & 3 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

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

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

rust/ql/lib/codeql/rust/elements/IfLet.qll renamed to rust/ql/lib/codeql/rust/elements/LetStmt.qll

Lines changed: 3 additions & 3 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

rust/ql/lib/codeql/rust/elements/IfLetConstructor.qll renamed to rust/ql/lib/codeql/rust/elements/LetStmtConstructor.qll

Lines changed: 3 additions & 3 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)