diff options
author | Iulian Dragos <jaguarul@gmail.com> | 2013-03-07 18:55:46 +0100 |
---|---|---|
committer | Iulian Dragos <jaguarul@gmail.com> | 2013-03-07 21:39:58 +0100 |
commit | 292435f5cac948b611671e6495b4676ddbbc4c10 (patch) | |
tree | 410247b5d2100c5978ffd2b3a0ae36cffadcf948 /src | |
parent | 889020dfab9f99a3198528fedb699c061027acab (diff) | |
download | scala-292435f5cac948b611671e6495b4676ddbbc4c10.tar.gz scala-292435f5cac948b611671e6495b4676ddbbc4c10.tar.bz2 scala-292435f5cac948b611671e6495b4676ddbbc4c10.zip |
Fix SI-7224.
Don't focus positions assigned to the TypeTree of a parent of a Template
when the parent exists in the source. A focused position (instance
of `OffsetPosition`) makes it invisible to the presentation compiler
when it looks for the innermost enclosing tree of a given position
(breaking hyperlinking, for example).
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index fcf7ba6efb..d8493d2312 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -1576,7 +1576,7 @@ trait Typers extends Modes with Adaptations with Tags { if (sarg != EmptyTree && supertpe.typeSymbol != firstParent) ConstrArgsInTraitParentTpeError(sarg, firstParent) if (!supertparams.isEmpty) - supertpt = TypeTree(cbody2.tpe) setPos supertpt.pos.focus + supertpt = TypeTree(cbody2.tpe) setPos supertpt.pos case _ => if (!supertparams.isEmpty) MissingTypeArgumentsParentTpeError(supertpt) |