Changes in / [6385d62:807ce84]

File:

• doc/proposals/associated_types.md (modified) (1 diff)

doc/proposals/associated_types.md

@@ -50 +50 @@
 ### Nominal Inheritance ###
 
-This trait specialization syntax could also be used, with a new annotation on the traits, to provide nominal inheritance of traits, e.g:
+This trait specialization syntax could also be used, with a new type of type assertion, to provide nominal inheritance of traits, e.g:
 
-        extern trait random_access_iterator(otype I | forward_iterator(I)) {};
+        trait random_access_iterator(otype I | forward_iterator(I)) {
+                nominal; // not sure what the keyword is here, could maybe overload auto or extern
+        };
 
         forall(otype T) random_access_iterator(vector_iter(T)) {};
-
-I used `extern` here to not add a new keyword, I think it fits the idea of "the definition is somewhere else" of the existing meaning of `extern`. Other options include a zero-arg pseudo-trait `nominal()` that could go in the trait's constraint list.