tests/pos/t7126.scala


1
2
3
4
5
6
7
8
9
10
11

import language._

object Test {
  type T = Any
  boom(???): Option[T] // SOE
  def boom[CC[U]](t : CC[T]): Option[CC[T]] = None

  // okay
  foo(???): Option[Any]
  def foo[CC[U]](t : CC[Any]): Option[CC[Any]] = None
}