blob: b9a085fb35a54edd5d60f0d937c1267c5618ebfc (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
class ForSomeVsUnapply {
def test {
def makeWrap: Wrap = ???
def useRep[e](rep: (e, X[e])) = ()
val repUnapply = Wrap.unapply(makeWrap).get
useRep(repUnapply) // okay
val Wrap(rep0) = makeWrap
useRep(rep0) // error
val rep = makeWrap match {
case Wrap(r) => r
};
useRep(rep) // error
}
}
class X[e]
case class Wrap(rep: (e, X[e]) forSome { type e })
|
