Intention for removing explicit type arguments at function calls

idea/testData/intentions/removeExplicitTypeArguments/fourLiterals.kt

@@ -0,0 +1,6 @@
+// IS_APPLICABLE: true
+fun foo() {
+    val z = <caret>bar<String, Int, Int, String>("1", 1, 2, "x")
+}
+
+fun bar<T, V, R, K>(t: T, v: V, r: R, k: K): Int = 2

idea/testData/intentions/removeExplicitTypeArguments/fourLiterals.kt.after

@@ -0,0 +1,6 @@
+// IS_APPLICABLE: true
+fun foo() {
+    val z = bar("1", 1, 2, "x")
+}
+
+fun bar<T, V, R, K>(t: T, v: V, r: R, k: K): Int = 2

idea/testData/intentions/removeExplicitTypeArguments/inapplicableTypeThatIsAFunItCannotBeInferred.kt

@@ -0,0 +1,8 @@
+// IS_APPLICABLE: false
+fun foo() {
+    <caret>bar<(Int) -> Int>({ baz(it) })
+}
+
+fun baz(x: Int): Int = x
+
+fun bar<T>(t: T): Int = 1

idea/testData/intentions/removeExplicitTypeArguments/lambdaType.kt

@@ -0,0 +1,6 @@
+// IS_APPLICABLE: true
+fun foo() {
+    <caret>bar<(Int) -> Int> { (it:Int) -> it }
+}
+
+fun bar<T>(t: T): Int = 1

idea/testData/intentions/removeExplicitTypeArguments/lambdaType.kt.after

@@ -0,0 +1,6 @@
+// IS_APPLICABLE: true
+fun foo() {
+    bar {(it: Int) -> it }
+}
+
+fun bar<T>(t: T): Int = 1

idea/testData/intentions/removeExplicitTypeArguments/literalAny.kt

@@ -0,0 +1,8 @@
+// IS_APPLICABLE: true
+fun foo() {
+    val x = <caret>Box<Any>(Any())
+}
+
+class Box<T>(t : T) {
+    var value = t
+}

idea/testData/intentions/removeExplicitTypeArguments/literalAny.kt.after

@@ -0,0 +1,8 @@
+// IS_APPLICABLE: true
+fun foo() {
+    val x = Box(Any())
+}
+
+class Box<T>(t : T) {
+    var value = t
+}

idea/testData/intentions/removeExplicitTypeArguments/literalString.kt

@@ -0,0 +1,6 @@
+// IS_APPLICABLE: true
+fun foo() {
+    <caret>bar<String>("x")
+}
+
+fun bar<T>(t: T): Int = 1

idea/testData/intentions/removeExplicitTypeArguments/literalString.kt.after

@@ -0,0 +1,6 @@
+// IS_APPLICABLE: true
+fun foo() {
+    bar("x")
+}
+
+fun bar<T>(t: T): Int = 1

idea/testData/intentions/removeExplicitTypeArguments/literalStringWithClass.kt

@@ -0,0 +1,8 @@
+// IS_APPLICABLE: true
+fun foo() {
+    val x = <caret>Box<String>("x")
+}
+
+class Box<T>(t : T) {
+    var value = t
+}

idea/testData/intentions/removeExplicitTypeArguments/literalStringWithClass.kt.after

@@ -0,0 +1,8 @@
+// IS_APPLICABLE: true
+fun foo() {
+    val x = <caret>Box("x")
+}
+
+class Box<T>(t : T) {
+    var value = t
+}

idea/testData/intentions/removeExplicitTypeArguments/literalsWhenTypeArgHasTypeArg.kt

@@ -0,0 +1,8 @@
+// IS_APPLICABLE: true
+fun foo() {
+    val x = <caret>Box<Box<String>>(Box("x"))
+}
+
+class Box<T>(t : T) {
+    var value = t
+}

idea/testData/intentions/removeExplicitTypeArguments/literalsWhenTypeArgHasTypeArg.kt.after

@@ -0,0 +1,8 @@
+// IS_APPLICABLE: true
+fun foo() {
+    val x = Box(Box("x"))
+}
+
+class Box<T>(t : T) {
+    var value = t
+}

idea/testData/intentions/removeExplicitTypeArguments/notApplicableNotEnoughtInfo.kt

@@ -0,0 +1,7 @@
+// IS_APPLICABLE: false
+// ERROR: Unresolved reference: LinkedList
+fun foo() {
+    val x = <caret>bar<String>()
+}
+
+fun <T> bar() : List<T> = LinkedList<T>();

idea/testData/intentions/removeExplicitTypeArguments/notApplicableSupertypeOfInferred.kt

@@ -0,0 +1,6 @@
+// IS_APPLICABLE: false
+fun foo() {
+    val x = <caret>bar<Any>("x")
+}
+
+fun bar<T>(t: T): Int = 1

idea/testData/intentions/removeExplicitTypeArguments/notApplicableSupertypeOfInferredClass.kt

@@ -0,0 +1,8 @@
+// IS_APPLICABLE: false
+fun foo() {
+    val x = <caret>Box<Any>("x")
+}
+
+class Box<T>(t : T) {
+    var value = t
+}

idea/testData/intentions/removeExplicitTypeArguments/twoLiteralValues.kt

@@ -0,0 +1,6 @@
+// IS_APPLICABLE: true
+fun foo() {
+    val x = <caret>bar<String, Int>("x", 0)
+}
+
+fun bar<T, V>(t: T, v: V): Int = 1

idea/testData/intentions/removeExplicitTypeArguments/twoLiteralValues.kt.after

@@ -0,0 +1,6 @@
+// IS_APPLICABLE: true
+fun foo() {
+    val x = bar("x", 0)
+}
+
+fun bar<T, V>(t: T, v: V): Int = 1

idea/testData/intentions/removeExplicitTypeArguments/variableString.kt

@@ -0,0 +1,7 @@
+// IS_APPLICABLE: true
+fun foo() {
+    val x = "x"
+    <caret>bar<String>(x)
+}
+
+fun bar<T>(t: T): Int = 1

idea/testData/intentions/removeExplicitTypeArguments/variableString.kt.after

@@ -0,0 +1,7 @@
+// IS_APPLICABLE: true
+fun foo() {
+    val x = "x"
+    bar(x)
+}
+
+fun bar<T>(t: T): Int = 1

idea/testData/intentions/removeExplicitTypeArguments/variableString2.kt

@@ -0,0 +1,6 @@
+// IS_APPLICABLE: true
+fun foo(x: String) {
+    <caret>bar<String>(x)
+}
+
+fun bar<T>(t: T): Int = 1

idea/testData/intentions/removeExplicitTypeArguments/variableString2.kt.after

@@ -0,0 +1,6 @@
+// IS_APPLICABLE: true
+fun foo(x: String) {
+    bar(x)
+}
+
+fun bar<T>(t: T): Int = 1

idea/testData/intentions/removeExplicitTypeArguments/variableStringFartherScope.kt

@@ -0,0 +1,8 @@
+// IS_APPLICABLE: true
+val x = "x"
+
+fun foo() {
+    <caret>bar<String>(x)
+}
+
+fun bar<T>(t: T): Int = 1

idea/testData/intentions/removeExplicitTypeArguments/variableStringFartherScope.kt.after

@@ -0,0 +1,8 @@
+// IS_APPLICABLE: true
+val x = "x"
+
+fun foo() {
+    bar(x)
+}
+
+fun bar<T>(t: T): Int = 1

idea/testData/intentions/removeExplicitTypeArguments/variablesAndLiterals.kt

@@ -0,0 +1,8 @@
+// IS_APPLICABLE: true
+fun foo() {
+    val x = "1"
+    val y = 2
+    val z = <caret>bar<String, Int, Int, String>(x, 1, y, "x")
+}
+
+fun bar<T, V, R, K>(t: T, v: V, r: R, k: K): Int = 2

idea/testData/intentions/removeExplicitTypeArguments/variablesAndLiterals.kt.after

@@ -0,0 +1,8 @@
+// IS_APPLICABLE: true
+fun foo() {
+    val x = "1"
+    val y = 2
+    val z = bar(x, 1, y, "x")
+}
+
+fun bar<T, V, R, K>(t: T, v: V, r: R, k: K): Int = 2