We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 5879e58 commit 2427f0aCopy full SHA for 2427f0a
csharp/ql/src/semmle/code/csharp/Assignable.qll
@@ -509,7 +509,7 @@ class AssignableDefinition extends TAssignableDefinition {
509
cfn = result.getAControlFlowNode() |
510
exists(Ssa::ExplicitDefinition def |
511
result = def.getAFirstReadAtNode(cfn) |
512
- this = def.(Ssa::ExplicitDefinition).getADefinition()
+ this = def.getADefinition()
513
)
514
515
}
0 commit comments