Member predicate SSA::Ssa::ExplicitDefinition::isCapturedVariableDefinitionFlowOut

Holds if this definition updates a captured local scope variable, and the updated value may be read from the implicit call definition cdef using one or more calls.

Example:

class C {
  void M1() {
    int i = 0;
    void M2() { i = 2; };
    M2();
    System.Console.WriteLine(i);
  }
}

If this definition is the update of i on line 4, then the value may be read outside of M2 via the the call on line 5.

predicate isCapturedVariableDefinitionFlowOut(ImplicitCallDefinition cdef)