From 336e1acd4fb751420bbf0bc51dfc63ddaf9d73f6 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Wed, 28 May 2003 10:12:07 +0000
Subject: *** empty log message ***

---
 sources/scalac/transformer/Erasure.java | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

(limited to 'sources/scalac/transformer')

diff --git a/sources/scalac/transformer/Erasure.java b/sources/scalac/transformer/Erasure.java
index 1167a40521..c97df51aa8 100644
--- a/sources/scalac/transformer/Erasure.java
+++ b/sources/scalac/transformer/Erasure.java
@@ -417,7 +417,22 @@ public class Erasure extends Transformer implements Modifiers {
                         ? primitives.getUnboxValueSymbol(tp)
                         : primitives.getInstanceTestSymbol(tp);
                     qual1 = coerce(qual1, primSym.owner().type());
-                    return gen.Select(qual1, primSym);
+                    Tree t = gen.Select(qual1, primSym);
+		    if (sym == definitions.AS) {
+			return t;
+		    } else {
+			Tree test =
+			    gen.TypeApply(
+				tree.pos,
+				transform(fun),
+				new Tree[]{
+				    gen.mkType(tree.pos, primSym.owner().type())
+				});
+			return
+			    gen.Apply(
+				gen.Select(test, definitions.AMPAMP()),
+				new Tree[]{t});
+		    }
                 } else
                     return copy.TypeApply(tree, transform(fun), transform(args))
                         .setType(owntype);
-- 
cgit v1.2.3