- Added a missing substitution for cloned type ...

- Added a missing substitution for cloned type parameters

1 files changed, 8 insertions, 0 deletions

diff --git a/sources/scalac/transformer/ExpandMixinsPhase.java b/sources/scalac/transformer/ExpandMixinsPhase.java
index 57c94a8708..f2851ea156 100644
--- a/sources/scalac/transformer/ExpandMixinsPhase.java
+++ b/sources/scalac/transformer/ExpandMixinsPhase.java
@@ -415,6 +415,14 @@ public class ExpandMixinsPhase extends Phase {
             case TypeRef(Type prefix, Symbol symbol, Type[] args):
                 Type inline = (Type)inlines.get(symbol);
                 if (inline != null) return inline;
+                if (symbol.isParameter()) {
+                    Symbol clone = (Symbol)cloner.clones.get(symbol);
+                    if (clone != null) {
+                        assert prefix == Type.NoPrefix && args.length == 0:
+                            type;
+                        return Type.typeRef(prefix, clone, args);
+                    }
+                }
                 return map(type);
             case SingleType(Type prefix, Symbol symbol):
                 Symbol clone = (Symbol)cloner.clones.get(symbol);