blob: 2171a487e919ff0b2c9cc8d1e2893151472ffb51 (
plain) (
blame)
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))
}
|