aboutsummaryrefslogtreecommitdiff
path: root/tests/pos/i2152.scala
blob: 2171a487e919ff0b2c9cc8d1e2893151472ffb51 (plain)
1
2
3
4
5
6
7
class Contra[-D](task: AnyRef)
object Test {
  def narrow(task: AnyRef): Contra[task.type] = new Contra(task)
  def ident[Before](elems: Contra[Before]): Contra[Before] = elems
  val foo = null
  ident(narrow(foo))
}