diff options
-rw-r--r-- | test/files/pos/philippe4.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/pos/philippe4.scala b/test/files/pos/philippe4.scala index c9b1cdaeb0..c98aa2236e 100644 --- a/test/files/pos/philippe4.scala +++ b/test/files/pos/philippe4.scala @@ -1,3 +1,3 @@ -trait Foo[t <: Foo[t]]: t { +trait Foo[t <: Foo[t]] requires t { def foo(that: t): Boolean; } |