From 11bcf8ef29e894298b16d89fb58c73adc87188cf Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Thu, 25 Jan 2007 13:51:15 +0000 Subject: fsee message for 9732 --- test/files/pos/bug296.scala | 3 +++ test/files/pos/bug892.scala | 14 ++++++++++++++ 2 files changed, 17 insertions(+) create mode 100644 test/files/pos/bug296.scala create mode 100644 test/files/pos/bug892.scala (limited to 'test/files') diff --git a/test/files/pos/bug296.scala b/test/files/pos/bug296.scala new file mode 100644 index 0000000000..0c267a307e --- /dev/null +++ b/test/files/pos/bug296.scala @@ -0,0 +1,3 @@ +object Bug { + def foo (l: => String) : String = 12 match { case _ => l} +} diff --git a/test/files/pos/bug892.scala b/test/files/pos/bug892.scala new file mode 100644 index 0000000000..41da7095bd --- /dev/null +++ b/test/files/pos/bug892.scala @@ -0,0 +1,14 @@ +package test; +object Test { + trait Core { + abstract class Visitor[T <: Visitor[T]]; + trait HasVisitor { + def visit[T <: Visitor[T]](initial : T) : T; + } + } + trait Ext extends Core { + class Foo { + def visit[T <: Visitor[T]](initial : T) : T = initial; + } + } +} -- cgit v1.2.3