diff options
Diffstat (limited to 'test/pos/test4refine.scala')
| -rw-r--r-- | test/pos/test4refine.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/pos/test4refine.scala b/test/pos/test4refine.scala index 8e3fee70cc..ad68bc891a 100644 --- a/test/pos/test4refine.scala +++ b/test/pos/test4refine.scala @@ -21,8 +21,8 @@ abstract class O() { type Y; def foo(x: X, y: Y): E = e; } - val i:I with { type Y = E } = null; - val j:I with { type Y = X } = null; + val i:I { type Y = E } = null; + val j:I { type Y = X } = null; } module o extends O() { |