diff options
author | Martin Odersky <odersky@gmail.com> | 2003-07-16 10:49:15 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2003-07-16 10:49:15 +0000 |
commit | 0a0595a1c73b956f8582879d518c75970b910c23 (patch) | |
tree | 5bffa1f28df8a5cb2b7451c18fc3a9acf85c3722 /test/files/neg/constrparams.check | |
parent | 9aaa79cdba130a6e22e9b761d5a1f78720a2a180 (diff) | |
download | scala-0a0595a1c73b956f8582879d518c75970b910c23.tar.gz scala-0a0595a1c73b956f8582879d518c75970b910c23.tar.bz2 scala-0a0595a1c73b956f8582879d518c75970b910c23.zip |
*** empty log message ***
Diffstat (limited to 'test/files/neg/constrparams.check')
-rw-r--r-- | test/files/neg/constrparams.check | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/test/files/neg/constrparams.check b/test/files/neg/constrparams.check index 19eb56bf7f..a9b7c39573 100644 --- a/test/files/neg/constrparams.check +++ b/test/files/neg/constrparams.check @@ -1,4 +1,9 @@ -constrparams.scala:4: stable identifier required, but x found. +constrparams.scala:4: type mismatch; + found : scala.AllRef + required: x.t private val z: x.t = null; //error - ^ -one error found + ^ +constrparams.scala:1: type x.type escapes its defining scope as part of scala.Object { type t, val y$: x.type, def y: x.type, val z$: x.t, def z: x.t } +abstract class C(x: C) { + ^ +two errors found |