Fix top

nicolasstucki · nicolasstucki · commit 77c363ad9d1c · 2017-06-02T19:48:45.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/Definitions.scala b/compiler/src/dotty/tools/dotc/core/Definitions.scala
@@ -762,6 +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 :: 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,6 +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`	`766`	`case first :: rest => (first /: rest)(inSameUniverse((t1, _) => t1.topType, _, _, relationship, ctx.owner.pos))`
`766`	`767`	`case Nil => defn.AnyType`
`767`	`768`	`}`