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