From 3282ac260cebe12a2d0dcb6bb7c0e479e0e20c6c Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Mon, 1 Feb 2010 17:15:05 +0000
Subject: suppresses generation of manifests for abstract...

suppresses generation of manifests for abstract type members.
---
 test/files/pos/manifest1.scala | 7 ++++---
 test/files/pos/t2795.scala     | 1 +
 2 files changed, 5 insertions(+), 3 deletions(-)

(limited to 'test')

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[_]
 }
-- 
cgit v1.2.3