From ece1176ff098b432931af416f90b1a934969768b Mon Sep 17 00:00:00 2001
From: Julien Richard-Foy <julien@richard-foy.fr>
Date: Fri, 28 Apr 2023 09:53:08 +0200
Subject: [PATCH 1/3] Apply `auto-apply` to the Spec

- Move `auto-apply.md` from TODOreference to APPLIEDreference with minor changes
- Remove the related content from the specification
- Also move the index file `dropped-features.md`
---
 docs/_spec/05-classes-and-objects.md                        | 6 +-----
 .../dropped-features/auto-apply.md                          | 4 ++--
 2 files changed, 3 insertions(+), 7 deletions(-)
 rename docs/_spec/{TODOreference => APPLIEDreference}/dropped-features/auto-apply.md (98%)

diff --git a/docs/_spec/05-classes-and-objects.md b/docs/_spec/05-classes-and-objects.md
index b73a4aa56071..65dcad2453fe 100644
--- a/docs/_spec/05-classes-and-objects.md
+++ b/docs/_spec/05-classes-and-objects.md
@@ -186,8 +186,7 @@ A member definition ´M´ _matches_ a member definition ´M'´, if ´M´ and ´M
 
 1. Neither ´M´ nor ´M'´ is a method definition.
 2. ´M´ and ´M'´ define both monomorphic methods with equivalent argument types.
-3. ´M´ defines a parameterless method and ´M'´ defines a method with an empty parameter list `()` or _vice versa_.
-4. ´M´ and ´M'´ define both polymorphic methods with equal number of argument types ´\overline T´, ´\overline T'´ and equal numbers of type parameters ´\overline t´, ´\overline t'´, say, and  ´\overline T' = [\overline t'/\overline t]\overline T´.
+3. ´M´ and ´M'´ define both polymorphic methods with equal number of argument types ´\overline T´, ´\overline T'´ and equal numbers of type parameters ´\overline t´, ´\overline t'´, say, and  ´\overline T' = [\overline t'/\overline t]\overline T´.
 
 <!--
 every argument type
@@ -256,9 +255,6 @@ class Y extends X { override var stable = 1 } // error
 Another restriction applies to abstract type members:
 An abstract type member with a [volatile type](03-types.html#volatile-types) as its upper bound may not override an abstract type member which does not have a volatile upper bound.
 
-A special rule concerns parameterless methods.
-If a parameterless method defined as `def ´f´: ´T´ = ...` or `def ´f´ = ...` overrides a method of type ´()T'´ which has an empty parameter list, then ´f´ is also assumed to have an empty parameter list.
-
 An overriding method inherits all default arguments from the definition in the superclass.
 By specifying default arguments in the overriding method it is possible to add new defaults (if the corresponding parameter in the superclass does not have a default) or to override the defaults of the superclass (otherwise).
 
diff --git a/docs/_spec/TODOreference/dropped-features/auto-apply.md b/docs/_spec/APPLIEDreference/dropped-features/auto-apply.md
similarity index 98%
rename from docs/_spec/TODOreference/dropped-features/auto-apply.md
rename to docs/_spec/APPLIEDreference/dropped-features/auto-apply.md
index eadfe2f429ea..b9aedb9f046b 100644
--- a/docs/_spec/TODOreference/dropped-features/auto-apply.md
+++ b/docs/_spec/APPLIEDreference/dropped-features/auto-apply.md
@@ -16,8 +16,8 @@ In Scala 3, this idiom is an error.
 
 ```scala
 next
-^
-missing arguments for method next
+^^^^
+method next must be called with () argument
 ```
 
 In Scala 3, the application syntax has to follow exactly the parameter

From a2002b5a2fad2c6fedc29feab706578b4f248bdc Mon Sep 17 00:00:00 2001
From: Julien Richard-Foy <julien@richard-foy.fr>
Date: Fri, 28 Apr 2023 11:12:58 +0200
Subject: [PATCH 2/3] fixup! Apply `auto-apply` to the Spec

---
 docs/_spec/05-classes-and-objects.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/docs/_spec/05-classes-and-objects.md b/docs/_spec/05-classes-and-objects.md
index 65dcad2453fe..d3aa052b8c95 100644
--- a/docs/_spec/05-classes-and-objects.md
+++ b/docs/_spec/05-classes-and-objects.md
@@ -186,7 +186,8 @@ A member definition ´M´ _matches_ a member definition ´M'´, if ´M´ and ´M
 
 1. Neither ´M´ nor ´M'´ is a method definition.
 2. ´M´ and ´M'´ define both monomorphic methods with equivalent argument types.
-3. ´M´ and ´M'´ define both polymorphic methods with equal number of argument types ´\overline T´, ´\overline T'´ and equal numbers of type parameters ´\overline t´, ´\overline t'´, say, and  ´\overline T' = [\overline t'/\overline t]\overline T´.
+3. ´M´ is defined in Java and defines a parameterless method and ´M'´ defines a method with an empty parameter list `()`, or ´M´ is defined in Java and defines a method with an empty parameter list `()` and ´M'´ defines a parameterless method.
+4. ´M´ and ´M'´ define both polymorphic methods with equal number of argument types ´\overline T´, ´\overline T'´ and equal numbers of type parameters ´\overline t´, ´\overline t'´, say, and  ´\overline T' = [\overline t'/\overline t]\overline T´.
 
 <!--
 every argument type
@@ -255,6 +256,9 @@ class Y extends X { override var stable = 1 } // error
 Another restriction applies to abstract type members:
 An abstract type member with a [volatile type](03-types.html#volatile-types) as its upper bound may not override an abstract type member which does not have a volatile upper bound.
 
+A special rule concerns parameterless methods.
+If a parameterless method defined as `def ´f´: ´T´ = ...` or `def ´f´ = ...` overrides a method defined in Java of type ´()T'´ which has an empty parameter list, then ´f´ is also assumed to have an empty parameter list.
+
 An overriding method inherits all default arguments from the definition in the superclass.
 By specifying default arguments in the overriding method it is possible to add new defaults (if the corresponding parameter in the superclass does not have a default) or to override the defaults of the superclass (otherwise).
 

From 28d35c554278a6548542eb1c47ed704ca3606d28 Mon Sep 17 00:00:00 2001
From: Julien Richard-Foy <julien@richard-foy.fr>
Date: Fri, 28 Apr 2023 15:21:43 +0200
Subject: [PATCH 3/3] fixup! Apply `auto-apply` to the Spec

---
 docs/_spec/05-classes-and-objects.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/_spec/05-classes-and-objects.md b/docs/_spec/05-classes-and-objects.md
index d3aa052b8c95..1e6aef2304d9 100644
--- a/docs/_spec/05-classes-and-objects.md
+++ b/docs/_spec/05-classes-and-objects.md
@@ -186,7 +186,7 @@ A member definition ´M´ _matches_ a member definition ´M'´, if ´M´ and ´M
 
 1. Neither ´M´ nor ´M'´ is a method definition.
 2. ´M´ and ´M'´ define both monomorphic methods with equivalent argument types.
-3. ´M´ is defined in Java and defines a parameterless method and ´M'´ defines a method with an empty parameter list `()`, or ´M´ is defined in Java and defines a method with an empty parameter list `()` and ´M'´ defines a parameterless method.
+3. ´M´ is defined in Java and defines a method with an empty parameter list `()` and ´M'´ defines a parameterless method.
 4. ´M´ and ´M'´ define both polymorphic methods with equal number of argument types ´\overline T´, ´\overline T'´ and equal numbers of type parameters ´\overline t´, ´\overline t'´, say, and  ´\overline T' = [\overline t'/\overline t]\overline T´.
 
 <!--