Apply class-shadowing.md

scala · Feb 6, 2023 · a46aab1 · a46aab1
1 parent 9db5c9e
commit a46aab1
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 27 deletions.
diff --git a/docs/_spec/05-classes-and-objects.md b/docs/_spec/05-classes-and-objects.md
@@ -241,7 +241,7 @@ It inherits member `f` from trait `C` and member `g` from trait `B`.
 A member ´M´ of class ´C´ that [matches](#class-members) a non-private member ´M'´ of a base class of ´C´ is said to _override_ that member.
 In this case the binding of the overriding member ´M´ must [subsume](03-types.html#conformance) the binding of the overridden member ´M'´.
 Furthermore, the following restrictions on modifiers apply to ´M´ and ´M'´:
-
+- ´M'´ must not be a class.
 - ´M'´ must not be labeled `final`.
 - ´M´ must not be [`private`](#modifiers).
 - If ´M´ is labeled `private[´C´]` for some enclosing class or package ´C´, then ´M'´ must be labeled `private[´C'´]` for some class or package ´C'´ where ´C'´ equals ´C´ or ´C'´ is contained in ´C´.

diff --git a/...rence/dropped-features/class-shadowing.md → ...rence/dropped-features/class-shadowing.md b/...rence/dropped-features/class-shadowing.md → ...rence/dropped-features/class-shadowing.md
diff --git a/docs/_spec/TODOreference/dropped-features/class-shadowing-spec.md b/docs/_spec/TODOreference/dropped-features/class-shadowing-spec.md