From f30f97273aa40600f0f8d7c3e96d0ab3e0eed318 Mon Sep 17 00:00:00 2001
From: Jason Zaugg <jzaugg@gmail.com>
Date: Mon, 29 Oct 2012 07:48:56 +0100
Subject: Use Typed rather than .setType

In response to pull request feedback.
---
 src/compiler/scala/tools/nsc/typechecker/Typers.scala | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala
index 6a55b16275..c5bd92a943 100644
--- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala
+++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala
@@ -2602,7 +2602,9 @@ trait Typers extends Modes with Adaptations with Tags {
           }
           // Don't leak implementation details into the type, see SI-6575
           if (isPartial && !typedBlock.isErrorTyped)
-            typedBlock modifyType (_ baseType PartialFunctionClass)
+            typedPos(tree.pos, mode, pt) {
+              Typed(typedBlock, TypeTree(typedBlock.tpe baseType PartialFunctionClass))
+            }
           else typedBlock
         }
     }
-- 
cgit v1.2.3