From 1f4d528702ca32ed01e500ea2ef2e9b2ebbe07d1 Mon Sep 17 00:00:00 2001 From: Iulian Dragos Date: Tue, 4 Jan 2011 10:19:08 +0000 Subject: Fixed infinite loop on call to super from a spe... Fixed infinite loop on call to super from a specialized method. This happened only on illegal specialized inheritance. Closes #3651, no review. --- test/files/run/spec-super.check | 2 ++ test/files/run/spec-super.scala | 18 ++++++++++++++++++ 2 files changed, 20 insertions(+) create mode 100644 test/files/run/spec-super.check create mode 100644 test/files/run/spec-super.scala (limited to 'test') diff --git a/test/files/run/spec-super.check b/test/files/run/spec-super.check new file mode 100644 index 0000000000..c04dfc9fdf --- /dev/null +++ b/test/files/run/spec-super.check @@ -0,0 +1,2 @@ +s +1 diff --git a/test/files/run/spec-super.scala b/test/files/run/spec-super.scala new file mode 100644 index 0000000000..ae71d72859 --- /dev/null +++ b/test/files/run/spec-super.scala @@ -0,0 +1,18 @@ + +// see ticket #3651 +object Test { + def main(args: Array[String]) { + val s = new Extended("s") + println(s.foo) //works + + val i = new Extended(1) + println(i.foo) //infinite loop with StackOverflowError + } +} + +class Base[@specialized(Int) T](val t: T) { + def foo() :T = t +} +class Extended [@specialized(Int) T](t: T) extends Base[T](t) { + override def foo() :T = super.foo +} -- cgit v1.2.3