From 2186ce5e8d5f83bf120e391277eccf7ba64699c5 Mon Sep 17 00:00:00 2001
From: Alexander Udalov <Alexander.Udalov@jetbrains.com>
Date: Tue, 19 May 2015 21:40:08 +0300
Subject: [PATCH] Degrade CFG test on values of extension function type

Apparently type annotations ('kotlin.extension' in particular) are lost
somewhere in control-flow values processor at the moment, so types may not be
as precise as they were when functions and extension functions had different
classifiers.

This test presumably only affects IDE functionality like 'Extract Method' in a
way that it will suggest a slightly incorrect function type for the parameter
of an extracted method. An issue is to be reported and fixed later upon demand
---
 .../cfg/expressions/parenthesizedSelector.values | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/compiler/testData/cfg/expressions/parenthesizedSelector.values b/compiler/testData/cfg/expressions/parenthesizedSelector.values
index bbe1634bf92..860e6638a10 100644
--- a/compiler/testData/cfg/expressions/parenthesizedSelector.values
+++ b/compiler/testData/cfg/expressions/parenthesizedSelector.values
@@ -6,7 +6,7 @@ fun <T> with(t: T, f :  T.() -> Unit) {
             <v0>: {<: T}              NEW: magic[FAKE_INITIALIZER](t: T) -> <v0>            
             <v1>: {<: T.() -> Unit}   NEW: magic[FAKE_INITIALIZER](f : T.() -> Unit) -> <v1>
 t           <v3>: {<: T}              NEW: r(t) -> <v3>                                     
-f           <v2>: {<: T.() -> Unit}   NEW: r(f) -> <v2>                                     
+f           <v2>: {<: (T) -> Unit}    NEW: r(f) -> <v2>
 f()         <v4>: *                   NEW: call(f(), invoke|<v2>, <v3>) -> <v4>             
 t.f()       <v4>: *                   COPY                                                  
 { t.f() }   <v4>: *                   COPY                                                  
@@ -32,11 +32,11 @@ with(1) { "".(foo)() }       <v2>: *                     NEW: call(with(1) { "".
         "".(foo)()
     }
 ---------------------
-             <v0>: Int                      NEW: magic[IMPLICIT_RECEIVER](foo) -> <v0>   
-""           <v2>: String                   NEW: r("") -> <v2>                           
-foo          <v1>: {<: String.() -> Unit}   NEW: r(foo|<v0>) -> <v1>                     
-(foo)        <v1>: {<: String.() -> Unit}   COPY                                         
-(foo)()      <v3>: *                        NEW: call((foo)(), invoke|<v1>, <v2>) -> <v3>
-"".(foo)()   <v3>: *                        COPY
-"".(foo)()   <v3>: *                        COPY
+             <v0>: Int                     NEW: magic[IMPLICIT_RECEIVER](foo) -> <v0>
+""           <v2>: String                  NEW: r("") -> <v2>
+foo          <v1>: {<: (String) -> Unit}   NEW: r(foo|<v0>) -> <v1>
+(foo)        <v1>: {<: (String) -> Unit}   COPY
+(foo)()      <v3>: *                       NEW: call((foo)(), invoke|<v1>, <v2>) -> <v3>
+"".(foo)()   <v3>: *                       COPY
+"".(foo)()   <v3>: *                       COPY
 =====================