We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 713c804 commit db00bcbCopy full SHA for db00bcb
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
@@ -653,10 +653,7 @@ module LocalFlow {
653
(
654
scope = def.getExpr() and
655
isSuccessor = true and
656
- (
657
- not def instanceof AssignableDefinitions::PatternDefinition or
658
- def instanceof AssignableDefinitions::TopLevelPatternDefinition
659
- )
+ not def instanceof AssignableDefinitions::PatternDefinition
660
or
661
scope = def.(AssignableDefinitions::TopLevelPatternDefinition).getMatch().(IsExpr) and
662
isSuccessor = false
0 commit comments