Improve RefinementTypeRef#normalize

retronym · adriaanm · commit e9e8618070d1 · 2016-08-23T15:52:21.000-07:00
diff --git a/src/reflect/scala/reflect/internal/Types.scala b/src/reflect/scala/reflect/internal/Types.scala
@@ -1900,7 +1900,7 @@ trait Types
     require(sym.isRefinementClass, sym)
 
     // I think this is okay, but see #1241 (r12414), #2208, and typedTypeConstructor in Typers
-    override protected def normalizeImpl: Type = sym.info.normalize
+    override protected def normalizeImpl: Type = pre.memberInfo(sym).normalize
     override protected def finishPrefix(rest: String) = "" + sym.info
   }
 

Original file line number	Diff line number	Diff line change
`@@ -1900,7 +1900,7 @@ trait Types`
`1900`	`1900`	`require(sym.isRefinementClass, sym)`
`1901`	`1901`
`1902`	`1902`	`// I think this is okay, but see #1241 (r12414), #2208, and typedTypeConstructor in Typers`
`1903`		`- override protected def normalizeImpl: Type = sym.info.normalize`
	`1903`	`+ override protected def normalizeImpl: Type = pre.memberInfo(sym).normalize`
`1904`	`1904`	`override protected def finishPrefix(rest: String) = "" + sym.info`
`1905`	`1905`	`}`
`1906`	`1906`