Module DataFlowDispatch

Gets a node that can read the value returned from call with return kind kind.

Holds if arguments at position apos match parameters at position ppos.

An argument position.

A call. This includes calls from source code, as well as call(back)s inside library callables with a flow summary.

A callable. This includes callables from source code, as well as callables defined in library code.

A value returned from a callable using a return statement or an expression body, that is, a “normal” return.

A value returned from a callable using an inout parameter.

A parameter position.

A return kind. A return kind describes how a value can be returned from a callable.