diff options
author | Martin Odersky <odersky@gmail.com> | 2006-05-08 16:34:57 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-05-08 16:34:57 +0000 |
commit | 00afa24fb6f2621e02e6ecd8ef86db56dd3913b5 (patch) | |
tree | f0240f5daed36699de1e928c780fb16744dbc22a /test/files/neg/bug588.scala | |
parent | ff1c68655acee7faf1227337ce444d2d08ca2a9a (diff) | |
download | scala-00afa24fb6f2621e02e6ecd8ef86db56dd3913b5.tar.gz scala-00afa24fb6f2621e02e6ecd8ef86db56dd3913b5.tar.bz2 scala-00afa24fb6f2621e02e6ecd8ef86db56dd3913b5.zip |
Bug fixes
Diffstat (limited to 'test/files/neg/bug588.scala')
-rwxr-xr-x | test/files/neg/bug588.scala | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/test/files/neg/bug588.scala b/test/files/neg/bug588.scala new file mode 100755 index 0000000000..bbb79ed79e --- /dev/null +++ b/test/files/neg/bug588.scala @@ -0,0 +1,15 @@ +abstract class Test0 { + def visit(f: int => unit): boolean + def visit(f: int => String): boolean +} +trait Test { + type TypeA <: TraitA; + type TypeB <: TypeA with TraitB; + + def f(node : TypeA) : Unit; + def f(brac : TypeB) : Unit; + + trait TraitA; + trait TraitB; + +} |