diff options
author | Martin Odersky <odersky@gmail.com> | 2010-02-01 17:15:05 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2010-02-01 17:15:05 +0000 |
commit | 3282ac260cebe12a2d0dcb6bb7c0e479e0e20c6c (patch) | |
tree | 7573e3247a1215dd23c994cc2733c56532e146c8 /test/files/pos | |
parent | 490ed74ff8e5c70789cde74646fd6c2b7abbfc21 (diff) | |
download | scala-3282ac260cebe12a2d0dcb6bb7c0e479e0e20c6c.tar.gz scala-3282ac260cebe12a2d0dcb6bb7c0e479e0e20c6c.tar.bz2 scala-3282ac260cebe12a2d0dcb6bb7c0e479e0e20c6c.zip |
suppresses generation of manifests for abstract...
suppresses generation of manifests for abstract type members.
Diffstat (limited to 'test/files/pos')
-rw-r--r-- | test/files/pos/manifest1.scala | 7 | ||||
-rw-r--r-- | test/files/pos/t2795.scala | 1 |
2 files changed, 5 insertions, 3 deletions
diff --git a/test/files/pos/manifest1.scala b/test/files/pos/manifest1.scala index 4d3b3bfa48..8901aa7437 100644 --- a/test/files/pos/manifest1.scala +++ b/test/files/pos/manifest1.scala @@ -13,8 +13,9 @@ object Test { abstract class C { type T = String; val x: T } val c = new C { val x = "abc" } foo(c.x) - abstract class D { type T; val x: T } - val d: D = new D { type T = String; val x = "x" } + abstract class D { type T; implicit val m: Manifest[T]; val x: T } + val stringm = implicitly[Manifest[String]] + val d: D = new D { type T = String; val m = stringm; val x = "x" } + import d.m foo(d.x) - } diff --git a/test/files/pos/t2795.scala b/test/files/pos/t2795.scala index c355a10c54..a4e1b7db83 100644 --- a/test/files/pos/t2795.scala +++ b/test/files/pos/t2795.scala @@ -5,6 +5,7 @@ trait Element[T] { trait Config { type T <: Element[T] + implicit val m: ClassManifest[T] // XXX Following works fine: // type T <: Element[_] } |