diff options
Diffstat (limited to 'sources/scalac/typechecker/RefCheck.java')
| -rw-r--r-- | sources/scalac/typechecker/RefCheck.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sources/scalac/typechecker/RefCheck.java b/sources/scalac/typechecker/RefCheck.java index bf5ca8d62f..9cd8575c6b 100644 --- a/sources/scalac/typechecker/RefCheck.java +++ b/sources/scalac/typechecker/RefCheck.java @@ -883,11 +883,14 @@ public class RefCheck extends Transformer implements Modifiers, Kinds { return super.transform(tree); case AppliedType(Tree tpe, Tree[] args): + Symbol[] tparams = tpe.type.symbol().typeParams(); + /* //todo: this needs to be refined. (same code in Analyzer.transform) Symbol[] tparams = (Type.isSameAs( tpe.type.typeArgs(), Symbol.type(tpe.type.unalias().symbol().typeParams()))) ? tpe.type.unalias().symbol().typeParams() : Symbol.EMPTY_ARRAY; + */ checkBounds(tree.pos, tparams, Tree.typeOf(args)); return elimTypeNode(super.transform(tree)); |