WIP

working/0723-static-extensions/feature-specification-variant3.md

@@ -351,8 +351,6 @@ enclosing declaration.
 which is not the enclosing declaration. In other words, there is nothing
 new in this case.*
 
-# TODO -- major revisions will be made anywhere beyond this point
-
 #### The instantiated constructor return type of a static extension
 
 Assume that _D_ is a generic static extension declaration named `E` with
@@ -392,6 +390,8 @@ and it has a constructor return type of the form `C<S1 .. Sk>`. In this
 case the instantiated constructor return type of _D_ is `C<S1 .. Sk>`,
 which is a ground type, and it is the same for all call sites.*
 
+# TODO -- major revisions will be made anywhere beyond this point
+
 #### Invocation of a constructor in a static extension
 
 Explicit constructor invocations are similar to static member invocations,