Simplify RecType.closeOver

odersky · odersky · commit 8c22245132e7 · 2016-05-27T13:28:12.000+02:00
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala
@@ -2204,12 +2204,7 @@ object Types {
     }
     def closeOver(parentExp: RecType => Type)(implicit ctx: Context) = {
       val rt = this(parentExp)
-      //val self = RecThis(rt)
-      def isSelfRef(t: Type) = t match {
-        case RecThis(binder) => binder eq rt
-        case _ => false
-      }
-      if (rt.existsPart(isSelfRef)) rt else rt.parent
+      if (rt.isReferredToBy(rt.parent)) rt else rt.parent
     }
   }
 

Original file line number	Diff line number	Diff line change
`@@ -2204,12 +2204,7 @@ object Types {`
`2204`	`2204`	`}`
`2205`	`2205`	`def closeOver(parentExp: RecType => Type)(implicit ctx: Context) = {`
`2206`	`2206`	`val rt = this(parentExp)`
`2207`		`- //val self = RecThis(rt)`
`2208`		`- def isSelfRef(t: Type) = t match {`
`2209`		`- case RecThis(binder) => binder eq rt`
`2210`		`- case _ => false`
`2211`		`- }`
`2212`		`- if (rt.existsPart(isSelfRef)) rt else rt.parent`
	`2207`	`+ if (rt.isReferredToBy(rt.parent)) rt else rt.parent`
`2213`	`2208`	`}`
`2214`	`2209`	`}`
`2215`	`2210`