Drop followAlias

odersky · odersky · commit 9c9059d08a4d · 2019-04-12T08:35:53.000+02:00
It turns out we don't need it anymore. This is nice, since
`followAlias` did some fairly ad-hoc rewritings.
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -2556,6 +2556,8 @@ class Typer extends Namer
         case _ =>
           NoType
       }
+      if (true) tp
+      else
       tp match {
         case tp: TypeVar if constraint.contains(tp) =>
           inst(constraint.entry(tp.origin)).orElse(tp)

Original file line number	Diff line number	Diff line change
`@@ -2556,6 +2556,8 @@ class Typer extends Namer`
`2556`	`2556`	`case _ =>`
`2557`	`2557`	`NoType`
`2558`	`2558`	`}`
	`2559`	`+ if (true) tp`
	`2560`	`+ else`
`2559`	`2561`	`tp match {`
`2560`	`2562`	`case tp: TypeVar if constraint.contains(tp) =>`
`2561`	`2563`	`inst(constraint.entry(tp.origin)).orElse(tp)`