add @superTrait

Author: odersky

src/library/scala/collection/SortedOps.scala

@@ -14,6 +14,7 @@ package scala.collection
 
 
 /** Base trait for sorted collections */
+@annotation.superTrait
 trait SortedOps[A, +C] {
 
   def ordering: Ordering[A]

src/library/scala/collection/StrictOptimizedSortedSetOps.scala

@@ -23,6 +23,7 @@ import scala.annotation.unchecked.uncheckedVariance
   * @tparam CC Collection type constructor
   * @tparam C  Collection type
   */
+@annotation.superTrait
 trait StrictOptimizedSortedSetOps[A, +CC[X] <: SortedSet[X], +C <: SortedSetOps[A, CC, C]]
   extends SortedSetOps[A, CC, C]
     with StrictOptimizedSetOps[A, Set, C] {

src/library/scala/collection/generic/DefaultSerializationProxy.scala

@@ -74,6 +74,7 @@ private[collection] case object SerializeEnd
   * it directly without using this trait if you need a non-standard factory or if you want to use a different
   * serialization scheme.
   */
+@annotation.superTrait
 trait DefaultSerializable extends Serializable { this: scala.collection.Iterable[_] =>
   protected[this] def writeReplace(): AnyRef = {
     val f: Factory[Any, Any] = this match {

src/library/scala/collection/generic/IsIterable.scala

@@ -109,6 +109,7 @@ package generic
  * (Note that in practice the `IsIterable[Range]` instance is already provided by
  * the standard library, and it is defined as an `IsSeq[Range]` instance)
  */
+@annotation.superTrait
 trait IsIterable[Repr] extends IsIterableOnce[Repr] {
 
   /** The type returned by transformation operations that preserve the same elements

src/library/scala/collection/generic/IsIterableOnce.scala

@@ -37,6 +37,7 @@ package generic
  *    // == List(2, 4)
  * }}}
  */
+@annotation.superTrait
 trait IsIterableOnce[Repr] {
 
   /** The type of elements we can traverse over (e.g. `Int`). */

src/library/scala/collection/generic/IsMap.scala

@@ -26,6 +26,7 @@ import scala.collection.immutable.{IntMap, LongMap}
   * @see [[scala.collection.generic.IsIterable]]
   * @tparam Repr Collection type (e.g. `Map[Int, String]`)
   */
+@annotation.superTrait
 trait IsMap[Repr] extends IsIterable[Repr] {
 
   /** The type of keys */

src/library/scala/collection/generic/IsSeq.scala

@@ -25,6 +25,7 @@ import scala.reflect.ClassTag
   *
   * @see [[scala.collection.generic.IsIterable]]
   */
+@annotation.superTrait
 trait IsSeq[Repr] extends IsIterable[Repr] {
 
   @deprecated("'conversion' is now a method named 'apply'", "2.13.0")

src/library/scala/collection/generic/Subtractable.scala

@@ -27,6 +27,7 @@ import scala.collection.IterableOnce
   *  @define   Coll Subtractable
   */
 @deprecated("Subtractable is deprecated. This is now implemented as part of SetOps, MapOps, etc.", "2.13.0")
+@annotation.superTrait
 trait Subtractable[A, +Repr <: Subtractable[A, Repr]] { self =>
 
   /** The representation object of type `Repr` which contains the collection's elements

src/library/scala/collection/immutable/StrictOptimizedSeqOps.scala

@@ -17,6 +17,7 @@ package immutable
 /**
   * Trait that overrides operations to take advantage of strict builders.
   */
+@annotation.superTrait
 trait StrictOptimizedSeqOps[+A, +CC[_], +C]
   extends Any
     with SeqOps[A, CC, C]