Aladdin - Scala Bugtracking
[#1049] project: compiler priority: low category: bug
submitter assigned to status date submitted
Nikolay Martin fixed 2007-04-17 13:28:32.0
subject [contrib #433] self-type compiler crash
code
abstract class Test
{
	type T <: A
	class A requires T
	class B requires T extends A
}
what happened
Compiler crashes with topline of stdout:

exception when transforming class B extends Test.this.A with scala.ScalaObject { self: Test.this.T =>

and topline of stderr stack trace:

Exception in thread "main" scala.tools.nsc.symtab.Types$TypeError: value $outer cannot be accessed in Test.this.\
T
what expected No compiler crash. Notes: replacing either word "class" with "trait" causes it to compile fine.
[back to overview]
Changes of this bug report
Nikolay  edited on  2007-04-17 13:29:45.0
contribution #433
Nikolay  edited on  2007-04-17 13:50:24.0
Added test case pending/pos/bug1049.scala
Martin  edited on  2007-07-14 13:54:30.0