diff options
author | Martin Odersky <odersky@gmail.com> | 2010-10-19 13:21:50 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2010-10-19 13:21:50 +0000 |
commit | ed65254c4f1bfc0ba7f8b8053bdafbdd8bccb670 (patch) | |
tree | acbf115c632c2e4ba6987e1b9ca34b5b36c0aeeb | |
parent | 4b97811b4e6e0d6688c9e75fdc6fb12accc846a9 (diff) | |
download | scala-ed65254c4f1bfc0ba7f8b8053bdafbdd8bccb670.tar.gz scala-ed65254c4f1bfc0ba7f8b8053bdafbdd8bccb670.tar.bz2 scala-ed65254c4f1bfc0ba7f8b8053bdafbdd8bccb670.zip |
Fixed NoSymbol problem in IDE for type construc...
Fixed NoSymbol problem in IDE for type constructors. Review by
vigdorchik
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index 2c8d1c845f..9397156f41 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -3843,8 +3843,8 @@ trait Typers { self: Analyzer => glb(List(arg.symbol.info.bounds.hi, tparam.info.bounds.hi.subst(tparams, argtypes)))) case _ => }} - - val result = TypeTree(appliedType(tpt1.tpe, argtypes)) setOriginal(tree) // setPos tree.pos (done by setOriginal) + val original = treeCopy.AppliedTypeTree(tree, tpt1, args1) + val result = TypeTree(appliedType(tpt1.tpe, argtypes)) setOriginal original if(tpt1.tpe.isInstanceOf[PolyType]) // did the type application (performed by appliedType) involve an unchecked beta-reduction? (TypeTreeWithDeferredRefCheck(){ () => // wrap the tree and include the bounds check -- refchecks will perform this check (that the beta reduction was indeed allowed) and unwrap |