Rust: Remove elements superseded by attribute macro expansions

This commit is contained in:
Tom Hvitved
2025-11-06 20:27:10 +01:00
parent 74dd515c67
commit c81f5f5190
25 changed files with 164 additions and 307 deletions

View File

@@ -35,7 +35,7 @@ module VariableAccessTest implements TestSig {
private predicate declAt(Variable v, string filepath, int line, boolean inMacro) {
variable(v) and
v.getLocation().hasLocationInfo(filepath, _, _, line, _) and
if v.getPat().isInMacroExpansion() then inMacro = true else inMacro = false
if v.getPat().isFromMacroExpansion() then inMacro = true else inMacro = false
}
private predicate commmentAt(string text, string filepath, int line) {