Predicate getCallbackReturnType
Gets the return type of kind rk in a synthesized call that targets a
callback of type t.
Import path
import semmle.code.csharp.dataflow.internal.FlowSummaryImplSpecific
DataFlowType
getCallbackReturnType
(
DataFlowType
t
,
ReturnKind
rk
)