diff options
author | Martin Odersky <odersky@gmail.com> | 2006-01-20 15:50:27 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-01-20 15:50:27 +0000 |
commit | 79fab589462c093512d1c5c37adc6fdc28cd86b0 (patch) | |
tree | aa4f6166de1206858fdc109883745f86664cce13 /test/files/pos/bug210.scala | |
parent | 6fc1fe1d66829d2dbde21adf5955ab6bf21d2bd8 (diff) | |
download | scala-79fab589462c093512d1c5c37adc6fdc28cd86b0.tar.gz scala-79fab589462c093512d1c5c37adc6fdc28cd86b0.tar.bz2 scala-79fab589462c093512d1c5c37adc6fdc28cd86b0.zip |
Diffstat (limited to 'test/files/pos/bug210.scala')
-rw-r--r-- | test/files/pos/bug210.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/files/pos/bug210.scala b/test/files/pos/bug210.scala index 20450335f4..efcad531d9 100644 --- a/test/files/pos/bug210.scala +++ b/test/files/pos/bug210.scala @@ -1,13 +1,13 @@ trait Lang1 { trait Exp; trait Visitor { def f(left: Exp): unit; } - class Eval1: Visitor extends Visitor { + class Eval1 requires Visitor extends Visitor { def f(left: Exp) = (); } } trait Lang2 extends Lang1 { - class Eval2: Visitor extends Eval1; + class Eval2 requires Visitor extends Eval1; } /* object Main with Application { |