From 01fc1813929bfea3235bb0739131f675f57c7309 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Mon, 3 Feb 2014 16:59:26 +0100
Subject: Fix problems with TypeVar instantiation

1) Simplify skipped one level over arguments of AndType/OrType.
2) variances needs to follow instantiated typevars
---
 src/dotty/tools/dotc/typer/Typer.scala | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/dotty/tools/dotc/typer/Typer.scala')

diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala
index 8498e5e54..a814aa469 100644
--- a/src/dotty/tools/dotc/typer/Typer.scala
+++ b/src/dotty/tools/dotc/typer/Typer.scala
@@ -1225,8 +1225,8 @@ class Typer extends Namer with Applications with Implicits {
         if (tree.tpe <:< pt) tree
         else if (ctx.mode is Mode.Pattern) tree // no subtype check for pattern
         else {
-          typr.println(s"adapt to subtype ${tree.tpe} !<:< $pt")
-          typr.println(TypeComparer.explained(implicit ctx => tree.tpe <:< pt))
+          typr.println(s"adapt to subtype ${tree.tpe.show} !<:< ${pt.show}")
+          //typr.println(TypeComparer.explained(implicit ctx => tree.tpe <:< pt))
           adaptToSubType(wtp)
         }
     }
-- 
cgit v1.2.3