tests/pos/t2429.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

object Msg {
  trait T

  trait TSeq

  object TSeq {
    implicit def fromSeq(s: Seq[T]): TSeq = sys.error("stub")
  }

  def render: Unit = {
    val msgs: TSeq = (List[(Any, Any)]().flatMap {
      case (a, b) => {
        a match {
          case _ => b match {
            case _ => sys.error("stub")
          }
        }
      }
    } /*: Seq[T] Adding this type annotation avoids the compile error.*/)
  }
}
object Oops {
 implicit def someImplicit(s: Seq[_]): String = sys.error("stub")
 def item: String = Nil map { case e: Any => e }
}