Change Signature: Consider default value context an initial type context. Use parameter list as a type context for bodyless function

#KT-12413 Fixed
(cherry picked from commit f417b05)

ChangeLog.md

@@ -113,6 +113,12 @@ These artifacts include extensions for the types available in the latter JDKs, s
 - [`KT-13037`](https://youtrack.jetbrains.com/issue/KT-13037) Fix possible deadlock in debugger in 2016.1 and exception in 2016.2
 - [`KT-12651`](https://youtrack.jetbrains.com/issue/KT-12651) Fix exception in evaluate expression when bad identifier is used for marking object
 
+#### Refactorings
+
+###### Issues fixed
+
+- [`KT-12413`](https://youtrack.jetbrains.com/issue/KT-12413) Change Signature: Fix bogus warning about unresolved type parameters/invalid functional type replacement
+
 ## 1.0.3
 
 ### Compiler

idea/idea-analysis/src/org/jetbrains/kotlin/idea/caches/resolve/CodeFragmentAnalyzer.kt

@@ -72,7 +72,7 @@ class CodeFragmentAnalyzer(
     }
 
     //TODO: this code should be moved into debugger which should set correct context for its code fragment
-    private fun KtExpression.correctContextForExpression(): KtExpression {
+    private fun KtElement.correctContextForElement(): KtElement {
         return when (this) {
                    is KtProperty -> this.delegateExpressionOrInitializer
                    is KtFunctionLiteral -> this.bodyExpression?.statements?.lastOrNull()
@@ -112,18 +112,18 @@ class CodeFragmentAnalyzer(
                 scopeForContextElement = descriptor.scopeForMemberDeclarationResolution
                 dataFlowInfo = DataFlowInfo.EMPTY
             }
-            is KtExpression -> {
-                val correctedContext = context.correctContextForExpression()
+            is KtFile -> {
+                scopeForContextElement = resolveSession.fileScopeProvider.getFileResolutionScope(context)
+                dataFlowInfo = DataFlowInfo.EMPTY
+            }
+            is KtElement -> {
+                val correctedContext = context.correctContextForElement()
 
                 val contextForElement = resolveToElement(correctedContext)
 
                 scopeForContextElement = contextForElement[BindingContext.LEXICAL_SCOPE, correctedContext]
                 dataFlowInfo = contextForElement.getDataFlowInfo(correctedContext)
             }
-            is KtFile -> {
-                scopeForContextElement = resolveSession.fileScopeProvider.getFileResolutionScope(context)
-                dataFlowInfo = DataFlowInfo.EMPTY
-            }
             else -> return null
         }
 

idea/src/org/jetbrains/kotlin/idea/refactoring/changeSignature/ui/KotlinChangeSignatureDialog.kt

@@ -54,6 +54,7 @@ import org.jetbrains.kotlin.idea.refactoring.changeSignature.KotlinMethodDescrip
 import org.jetbrains.kotlin.idea.refactoring.validateElement
 import org.jetbrains.kotlin.psi.*
 import org.jetbrains.kotlin.psi.psiUtil.parents
+import org.jetbrains.kotlin.psi.psiUtil.parentsWithSelf
 import org.jetbrains.kotlin.resolve.BindingContext
 import org.jetbrains.kotlin.resolve.lazy.BodyResolveMode
 import java.awt.BorderLayout
@@ -407,9 +408,9 @@ class KotlinChangeSignatureDialog(
         }
 
         private fun getTypeCodeFragmentContext(startFrom: PsiElement): KtElement {
-            return startFrom.parents.mapNotNull {
+            return startFrom.parentsWithSelf.mapNotNull {
                 when {
-                    it is KtNamedFunction -> it.bodyExpression
+                    it is KtNamedFunction -> it.bodyExpression ?: it.valueParameterList
                     it is KtPropertyAccessor -> it.bodyExpression
                     it is KtDeclaration && KtPsiUtil.isLocal(it) -> null
                     it is KtConstructor<*> -> it