From cdebd91712b36b048233d7cf9501cc7a5bb50b31 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Mon, 11 Jul 2016 18:05:36 +0200
Subject: Allow definition of new types in refinements

Allow definition of types in refinements that do not appear
in parent type.
---
 tests/neg/i50-volatile.scala | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tests/neg/i50-volatile.scala')

diff --git a/tests/neg/i50-volatile.scala b/tests/neg/i50-volatile.scala
index f6fa3466d..fcfc9592b 100644
--- a/tests/neg/i50-volatile.scala
+++ b/tests/neg/i50-volatile.scala
@@ -3,10 +3,10 @@ class Test {
     class Inner
   }
   type A <: Base {
-    type X = String                                     // error
+    type X = String                                     // old-error
   }
   type B <: {
-    type X = Int                                        // error
+    type X = Int                                        // old-error
   }
   lazy val o: A & B = ???
 
-- 
cgit v1.2.3