blob: b1ab09f901c856579b74303e81959d60de5de69a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
final class Mu[F](val value: Any) extends AnyVal {
def cata(f: F) {
// crash
((y: Mu[F]) => y.cata(f))
// crash
def foo(x : Mu[F]) = x.cata(f)
// // okay
def x: Mu[F] = ???
(() => x.cata(f))
assert(true, cata(f))
}
}
|