blob: eefe769ad6527a767a1cccd76572ec119ed32fd9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
package test
object Tags {
type Tagged[A, T] = {type Tag = T; type Self = A}
type @@[T, Tag] = Tagged[T, Tag]
trait Disjunction
def meh[M[_], A](ma: M[A]): M[A] = ma
meh(null.asInstanceOf[Int @@ Disjunction])
}
|