Fix top type for functions

nicolasstucki · nicolasstucki · commit e82f1ebccef8 · 2017-06-02T19:51:46.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/Definitions.scala b/compiler/src/dotty/tools/dotc/core/Definitions.scala
@@ -762,7 +762,7 @@ class Definitions {
 
   private def topInSameUniverse(types: List[Type], relationship: => String)(implicit ctx: Context): Type = {
     types match {
-      case first :: Nil => first.top
+      case first :: Nil => first.topType
       case first :: rest => (first /: rest)(inSameUniverse((t1, _) => t1.topType, _, _, relationship, ctx.owner.pos))
       case Nil => defn.AnyType
     }

Original file line number	Diff line number	Diff line change
`@@ -762,7 +762,7 @@ class Definitions {`
`762`	`762`
`763`	`763`	`private def topInSameUniverse(types: List[Type], relationship: => String)(implicit ctx: Context): Type = {`
`764`	`764`	`types match {`
`765`		`- case first :: Nil => first.top`
	`765`	`+ case first :: Nil => first.topType`
`766`	`766`	`case first :: rest => (first /: rest)(inSameUniverse((t1, _) => t1.topType, _, _, relationship, ctx.owner.pos))`
`767`	`767`	`case Nil => defn.AnyType`
`768`	`768`	`}`