Merge pull request #438 from smarter/fix/viewExists

Implicits#viewExists: return false after typer instead of AssertionError

Author: DarkDimius

src/dotty/tools/dotc/typer/Implicits.scala

@@ -380,6 +380,7 @@ trait Implicits { self: Typer =>
   override def viewExists(from: Type, to: Type)(implicit ctx: Context): Boolean = (
        !from.isError
     && !to.isError
+    && !ctx.isAfterTyper
     && (ctx.mode is Mode.ImplicitsEnabled)
     && { from.widenExpr match {
            case from: TypeRef if defn.ScalaValueClasses contains from.symbol =>