Module AssignableDefinitions

Holds if the ref assignment to arg via call c is uncertain.

An indirect address-of definition, for example &x.

A non-tuple definition by direct assignment, for example x = 0.

An implicit parameter definition at the entry point of the associated callable.

An initializer definition for a field or a property, for example line 2 in

A local variable definition without an initializer, for example int i.

A definition by mutation, for example x++.

A definition via an out/ref argument in a call, for example M(out x, ref y).

A local variable definition in a pattern, for example x is int i.

A tuple definition by direct assignment, for example the definition of x in (x, y) = (0, 1).