diff options
| author | Paul Phillips <paulp@improving.org> | 2011-12-02 13:43:19 -0800 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2011-12-02 14:17:55 -0800 |
| commit | aa41db72a4c4a50bd9444ee36fac257e455a9ba6 (patch) | |
| tree | 844545c0bafff4a88d5c1439d2e7fab100ec2734 /test/files/pos/t4758.scala | |
| parent | 31517aa07c47208efbf1dbf73c5b115ac2abe556 (diff) | |
| download | scala-aa41db72a4c4a50bd9444ee36fac257e455a9ba6.tar.gz scala-aa41db72a4c4a50bd9444ee36fac257e455a9ba6.tar.bz2 scala-aa41db72a4c4a50bd9444ee36fac257e455a9ba6.zip | |
Test case closes SI-4758.
Diffstat (limited to 'test/files/pos/t4758.scala')
| -rw-r--r-- | test/files/pos/t4758.scala | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/files/pos/t4758.scala b/test/files/pos/t4758.scala new file mode 100644 index 0000000000..627dfd7a23 --- /dev/null +++ b/test/files/pos/t4758.scala @@ -0,0 +1,17 @@ +// /scala/trac/4758/a.scala +// Fri Dec 2 13:41:54 PST 2011 + +package bar { + // works + trait M[F[_]] + class S[X[_] <: M[X], A](val x:X[A]) + object S { + def apply[X[_] <: M[X], A](x: X[A]): S[X, A] = new S[X, A](x) + def unapply[X[_] <: M[X], A](p: S[X, A]) = Some(p.x) + } +} +package foo { + // seemingly equivalent, doesn't work + trait M[F[_]] + case class S[X[_] <: M[X], A](x: X[A]) +} |