@Override
public PType caseATypeMultipleBind(ATypeMultipleBind node,
TypeCheckInfo question) throws AnalysisException
{
question.assistantFactory.createPPatternListAssistant().typeResolve(node.getPlist(), THIS, question);
PType type = question.assistantFactory.createPTypeAssistant().typeResolve(node.getType(), null, THIS, question);
PType ptype = question.assistantFactory.createPPatternListAssistant().getPossibleType(node.getPlist(), node.getLocation());
if (!question.assistantFactory.getTypeComparator().compatible(ptype, type))
{
TypeCheckerErrors.report(3265, "At least one bind cannot match this type", type.getLocation(), type);
TypeCheckerErrors.detail2("Binds", ptype, "Type", type);
}
node.setType(type);
return type;
}