From 1d8c014a0a7872120df2b46e1a7e305c98f5b4c5 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Sat, 10 Jan 2015 18:17:49 +0100
Subject: Rename RefinedThis -> SkolemType

Also, make binder type of SkolemType refer to arbitrary type,
not necessarily RefinedType.
---
 tests/pos/Patterns.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests/pos/Patterns.scala')

diff --git a/tests/pos/Patterns.scala b/tests/pos/Patterns.scala
index 54c4d8ab2..e443c2ab5 100644
--- a/tests/pos/Patterns.scala
+++ b/tests/pos/Patterns.scala
@@ -6,7 +6,7 @@ object Patterns {
   private def rebase(tp: NamedType): Type = {
     def rebaseFrom(prefix: Type): Type = ???
     tp.prefix match {
-      case RefinedThis(rt) => rebaseFrom(rt)
+      case SkolemType(rt) => rebaseFrom(rt)
       case pre: ThisType => rebaseFrom(pre)
       case _ => tp
     }
-- 
cgit v1.2.3