Remove unconditional mutation to super()

This mutation only makes sense if the method was called with arguments in the first place. If there are no arguments `super()` and `super` are semantically equivalent. And there is no vector towards reduced semantics, which is required for an operator to be valid. If mutant would be able to emit this mutation conditionally (on the presence of arguments) than this is a valid operator. Until than we cannot emit it. [fix #615]
mbj · Jun 9, 2024 · d699dab · d699dab
1 parent 830b41c
commit d699dab
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 2 deletions.
diff --git a/Changelog.md b/Changelog.md
@@ -1,3 +1,9 @@
+# v0.12.1 2024-06-09
+
++ [#1445](https://github.com/mbj/mutant/pull/1444)
+
+  Remove invalid mutation operator.
+
 # v0.12.1 2024-05-11
 
 * [#1444](https://github.com/mbj/mutant/pull/1444)

diff --git a/lib/mutant/mutator/node/super.rb b/lib/mutant/mutator/node/super.rb
@@ -13,7 +13,6 @@ class Super < self
 
         def dispatch
           emit_singletons
-          emit(N_EMPTY_SUPER)
           children.each_index do |index|
             mutate_child(index)
             delete_child(index)

diff --git a/meta/super.rb b/meta/super.rb
@@ -17,7 +17,6 @@
   source 'super(foo, bar)'
 
   singleton_mutations
-  mutation 'super()'
   mutation 'super(foo)'
   mutation 'super(bar)'
   mutation 'super(foo, nil)'