public override void LeaveDestructor(Destructor node)
{
if (node.Modifiers != TypeMemberModifiers.None)
{
Error(CompilerErrorFactory.InvalidDestructorModifier(node));
}
if (node.Parameters.Count != 0)
{
Error(CompilerErrorFactory.CantHaveDestructorParameters(node));
}
CannotReturnValue(node);
}