protected void verifyMethodArgs(EXPR call, CType callingObjectType)
{
Debug.Assert(call.isCALL() || call.isPROP());
EXPR argsPtr = call.getArgs();
SymWithType swt = call.GetSymWithType();
MethodOrPropertySymbol mp = swt.Sym.AsMethodOrPropertySymbol();
TypeArray pTypeArgs = call.isCALL() ? call.asCALL().mwi.TypeArgs : null;
EXPR newArgs;
AdjustCallArgumentsForParams(callingObjectType, swt.GetType(), mp, pTypeArgs, argsPtr, out newArgs);
call.setArgs(newArgs);
}