void ProcessEvalInvocation(MethodInvocationExpression node)
{
if (node.Arguments.Count > 0)
{
int allButLast = node.Arguments.Count-1;
for (int i=0; i<allButLast; ++i)
{
AssertHasSideEffect(node.Arguments[i]);
}
BindExpressionType(node, GetConcreteExpressionType(node.Arguments.Last));
}
else
{
BindExpressionType(node, TypeSystemServices.VoidType);
}
}