diff options
author | Martin Odersky <odersky@gmail.com> | 2003-07-31 09:57:59 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2003-07-31 09:57:59 +0000 |
commit | 03449ed20a3cca9e8d974c7efeff6b4e01ecb66d (patch) | |
tree | db1153ac4bffac098d6d6d053f727992f1a2e4da /test/neg/bug67.check | |
parent | be21ca1267f48e8fd14d5e32f3c7a4d814005eef (diff) | |
download | scala-03449ed20a3cca9e8d974c7efeff6b4e01ecb66d.tar.gz scala-03449ed20a3cca9e8d974c7efeff6b4e01ecb66d.tar.bz2 scala-03449ed20a3cca9e8d974c7efeff6b4e01ecb66d.zip |
*** empty log message ***
Diffstat (limited to 'test/neg/bug67.check')
-rw-r--r-- | test/neg/bug67.check | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test/neg/bug67.check b/test/neg/bug67.check new file mode 100644 index 0000000000..1a1990c311 --- /dev/null +++ b/test/neg/bug67.check @@ -0,0 +1,11 @@ +bug67.scala:15: constructor cannot be instantiated to expected type; + found : D.this.ITree[A?,B?] + required: D.this.InsertTree[A,B] + val ITree(t1) = insert_1(key, value, tree, s); + ^ +bug67.scala:19: no type parameters for method INode of type [A,B](D.this.Tree[A,B],scala.Int,scala.Int)D.this.INode[A,B] exist so that it can be applied to arguments (D.this.Tree[A,B],scala.Int,scala.Int) + --- because --- +result type D.this.INode[A,B] is incompatible with expected type D.this.InsertTree[A,B] + INode(t0,1,s); + ^ +two errors found |