Predicate getCallbackParameterType
Gets the type of the parameter matching arguments at position pos in a
synthesized call that targets a callback of type t.
Import path
import semmle.code.csharp.dataflow.internal.FlowSummaryImplSpecific