Some fixes from review

Author: natsukagami

library/src/scala/collection/Factory.scala

@@ -534,7 +534,7 @@ object EvidenceIterableFactory {
   class Delegate[CC[_], Ev[_]](delegate: EvidenceIterableFactory[CC, Ev]) extends EvidenceIterableFactory[CC, Ev] {
     override def apply[A: Ev](xs: A*): CC[A] = delegate.apply(xs: _*)
     def empty[A : Ev]: CC[A] = delegate.empty
-    def from[E : Ev](it: IterableOnce[E]^) = delegate.from(it)
+    def from[E : Ev](it: IterableOnce[E]^): CC[E] = delegate.from(it)
     def newBuilder[A : Ev]: Builder[A, CC[A]] = delegate.newBuilder[A]
   }
 }

library/src/scala/collection/Map.scala

@@ -135,7 +135,7 @@ transparent trait MapOps[K, +V, +CC[_, _] <: IterableOps[_, AnyConstr, _], +C]
   /** Similar to `fromIterable`, but returns a Map collection type.
     * Note that the return type is now `CC[K2, V2]`.
     */
-  @`inline` protected def mapFromIterable[K2, V2](it: Iterable[(K2, V2)]^): CC[K2, V2]^{it} = mapFactory.from(it)
+  @`inline` protected final def mapFromIterable[K2, V2](it: Iterable[(K2, V2)]^): CC[K2, V2]^{it} = mapFactory.from(it)
 
   /** The companion object of this map, providing various factory methods.
     *

library/src/scala/collection/MapView.scala

@@ -88,7 +88,7 @@ object MapView extends MapViewFactory {
     override def knownSize: Int = 0
     override def isEmpty: Boolean = true
     override def filterKeys(p: Any => Boolean): MapView[Any, Nothing] = this
-    override def mapValues[W](f: Nothing => W): MapView[Any, W] = this
+    override def mapValues[W](f: Nothing => W): MapView[Any, Nothing] = this
     override def filter(pred: ((Any, Nothing)) => Boolean): MapView[Any, Nothing] = this
     override def filterNot(pred: ((Any, Nothing)) => Boolean): MapView[Any, Nothing] = this
     override def partition(p: ((Any, Nothing)) => Boolean): (MapView[Any, Nothing], MapView[Any, Nothing]) = (this, this)

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

@@ -21,7 +21,7 @@ import scala.collection.generic.CommonErrors
 
 /** Trait that overrides operations to take advantage of strict builders.
  */
-transparent trait StrictOptimizedSeqOps[+A, +CC[B] <: collection.SeqOps[B, collection.Seq, collection.Seq[B]] & caps.Pure, +C]
+transparent trait StrictOptimizedSeqOps[+A, +CC[B] <: caps.Pure, +C]
   extends Any
     with SeqOps[A, CC, C]
     with collection.StrictOptimizedSeqOps[A, CC, C]