From 4a17f0d1e17adecbdc4755bf719feff18d115318 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Sun, 24 Mar 2013 15:02:27 +0100
Subject: More fixes to classfile loading.

---
 src/dotty/tools/dotc/core/Types.scala | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/dotty/tools/dotc/core/Types.scala')

diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala
index 445f4c634..9f5a56df7 100644
--- a/src/dotty/tools/dotc/core/Types.scala
+++ b/src/dotty/tools/dotc/core/Types.scala
@@ -596,6 +596,8 @@ object Types {
             hkRefinement(tp)
         case tp: TypeProxy =>
           tp.underlying.appliedTo(args)
+        case AndType(l, r) =>
+          l.appliedTo(args) & r.appliedTo(args)
       }
     }
 
-- 
cgit v1.2.3