TypeAccessibilityChecker: add more tests

idea/testData/multiModuleQuickFix/accessibilityChecker/classPrimaryConstructor/common/A.kt.after

@@ -0,0 +1 @@
+expect class A

idea/testData/multiModuleQuickFix/accessibilityChecker/classPrimaryConstructor/jvm/A.kt

@@ -0,0 +1,6 @@
+// "Create expected class in common module testModule_Common" "true"
+// DISABLE-ERRORS
+
+interface Some
+
+class A(actual val <caret>a: Some, b: Int)

idea/testData/multiModuleQuickFix/accessibilityChecker/classPrimaryConstructor/jvm/A.kt.after

@@ -0,0 +1,6 @@
+// "Create expected class in common module testModule_Common" "true"
+// DISABLE-ERRORS
+
+interface Some
+
+actual class A(val a: Some, b: Int)

idea/testData/multiModuleQuickFix/accessibilityChecker/classPrimaryConstructor/log.log

@@ -0,0 +1,3 @@
+These declarations cannot be transformed:
+a: Some
+(a: Some, b: Int)

idea/testData/multiModuleQuickFix/accessibilityChecker/classSecondaryConstructor/common/A.kt.after

@@ -0,0 +1,3 @@
+expect class A {
+
+}

idea/testData/multiModuleQuickFix/accessibilityChecker/classSecondaryConstructor/jvm/A.kt

@@ -0,0 +1,12 @@
+// "Create expected class in common module testModule_Common" "true"
+// DISABLE-ERRORS
+
+interface Some
+
+class A {
+    actual val a: Some
+
+    actual <caret>constructor(a: Some, b: Int) {
+        this.a = a
+    }
+}

idea/testData/multiModuleQuickFix/accessibilityChecker/classSecondaryConstructor/jvm/A.kt.after

@@ -0,0 +1,12 @@
+// "Create expected class in common module testModule_Common" "true"
+// DISABLE-ERRORS
+
+interface Some
+
+actual class A {
+    val a: Some
+
+    constructor(a: Some, b: Int) {
+        this.a = a
+    }
+}

idea/testData/multiModuleQuickFix/accessibilityChecker/classSecondaryConstructor/log.log

@@ -0,0 +1,3 @@
+These declarations cannot be transformed:
+actual val a: Some
+constructor(a: Some, b: Int){...}

idea/testData/multiModuleQuickFix/accessibilityChecker/classUpperBounds/jvm/Utils.kt

@@ -0,0 +1,7 @@
+// "Create expected class in common module testModule_Common" "true"
+// SHOULD_FAIL_WITH: You cannot create the expect declaration from:,class A
+// DISABLE-ERRORS
+
+interface Some
+
+actual class <caret>A<T : Some>

idea/testData/multiModuleQuickFix/accessibilityChecker/memberFunction/common/A.kt.after

@@ -0,0 +1,3 @@
+// To be implemented
+expect class A {
+}

idea/testData/multiModuleQuickFix/accessibilityChecker/memberFunction/jvm/Utils.kt

@@ -0,0 +1,8 @@
+// "Create expected class in common module testModule_Common" "true"
+// DISABLE-ERRORS
+
+interface Some
+
+actual class A {
+    actual fun <caret>a(): Some = TODO()
+}

idea/testData/multiModuleQuickFix/accessibilityChecker/memberFunction/jvm/Utils.kt.after

@@ -0,0 +1,8 @@
+// "Create expected class in common module testModule_Common" "true"
+// DISABLE-ERRORS
+
+interface Some
+
+actual class A {
+    fun <caret>a(): Some = TODO()
+}

idea/testData/multiModuleQuickFix/accessibilityChecker/memberFunction/log.log

@@ -0,0 +1,2 @@
+These declarations cannot be transformed:
+fun a() = TODO()

idea/testData/multiModuleQuickFix/accessibilityChecker/memberFunctionAndNestedClass/common/A.kt.after

@@ -0,0 +1,2 @@
+expect class A {
+}

idea/testData/multiModuleQuickFix/accessibilityChecker/memberFunctionAndNestedClass/jvm/Utils.kt

@@ -0,0 +1,7 @@
+// "Create expected class in common module testModule_Common" "true"
+// DISABLE-ERRORS
+
+class A {
+    class M
+    actual fun <caret>a(): M = TODO()
+}

idea/testData/multiModuleQuickFix/accessibilityChecker/memberFunctionAndNestedClass/jvm/Utils.kt.after

@@ -0,0 +1,7 @@
+// "Create expected class in common module testModule_Common" "true"
+// DISABLE-ERRORS
+
+actual class A {
+    class M
+    fun <caret>a(): M = TODO()
+}

idea/testData/multiModuleQuickFix/accessibilityChecker/memberFunctionAndNestedClass/log.log

@@ -0,0 +1,2 @@
+These declarations cannot be transformed:
+fun a() = TODO()

idea/testData/multiModuleQuickFix/accessibilityChecker/memberFunctionParentType/common/A.kt.after

@@ -0,0 +1,4 @@
+// To be implemented
+expect class A<T> {
+    fun a(): T
+}

idea/testData/multiModuleQuickFix/accessibilityChecker/memberFunctionParentType/jvm/Utils.kt

@@ -0,0 +1,6 @@
+// "Create expected class in common module testModule_Common" "true"
+// DISABLE-ERRORS
+
+actual class A<T> {
+    actual fun <caret>a(): T = TODO()
+}

idea/testData/multiModuleQuickFix/accessibilityChecker/memberFunctionParentType/jvm/Utils.kt.after

@@ -0,0 +1,6 @@
+// "Create expected class in common module testModule_Common" "true"
+// DISABLE-ERRORS
+
+actual class A<T> {
+    actual fun a(): T = TODO()
+}

idea/testData/multiModuleQuickFix/accessibilityChecker/memberFunctionParentType2/common/A.kt

@@ -0,0 +1 @@
+// To be implemented

idea/testData/multiModuleQuickFix/accessibilityChecker/memberFunctionParentType2/common/A.kt.after

@@ -0,0 +1,3 @@
+// To be implemented
+expect class A<T> {
+}

idea/testData/multiModuleQuickFix/accessibilityChecker/memberFunctionParentType2/jvm/Utils.kt

@@ -0,0 +1,8 @@
+// "Create expected class in common module testModule_Common" "true"
+// DISABLE-ERRORS
+
+actual class A<T> {
+    class B {
+        actual fun <caret>a(): T = TODO()
+    }
+}

idea/testData/multiModuleQuickFix/accessibilityChecker/memberFunctionParentType2/jvm/Utils.kt.after

@@ -0,0 +1,8 @@
+// "Create expected class in common module testModule_Common" "true"
+// DISABLE-ERRORS
+
+actual class A<T> {
+    class B {
+        fun a(): T = TODO()
+    }
+}

idea/testData/multiModuleQuickFix/accessibilityChecker/memberFunctionParentType2/log.log

@@ -0,0 +1,2 @@
+These declarations cannot be transformed:
+fun a() = TODO()

idea/testData/multiModuleQuickFix/accessibilityChecker/nestedClassWithTypeParam/common/A.kt.after

@@ -0,0 +1,5 @@
+expect class A<T> {
+    class C<F>
+    class D<F : Any>
+    class E<F : Any?>
+}

idea/testData/multiModuleQuickFix/accessibilityChecker/nestedClassWithTypeParam/jvm/A.kt

@@ -0,0 +1,10 @@
+// "Create expected class in common module testModule_Common" "true"
+// DISABLE-ERRORS
+
+class A<T> {
+    actual class B<F : T>
+    actual class C<F>
+    actual class D<F : Any>
+    actual class <caret>E<F : Any?>
+    actual class G<F : Dwwwq>
+}

idea/testData/multiModuleQuickFix/accessibilityChecker/nestedClassWithTypeParam/jvm/A.kt.after

@@ -0,0 +1,10 @@
+// "Create expected class in common module testModule_Common" "true"
+// DISABLE-ERRORS
+
+actual class A<T> {
+    class B<F : T>
+    actual class C<F>
+    actual class D<F : Any>
+    actual class E<F : Any?>
+    class G<F : Dwwwq>
+}

idea/testData/multiModuleQuickFix/accessibilityChecker/nestedClassWithTypeParam/log.log

@@ -0,0 +1,3 @@
+These declarations cannot be transformed:
+class B
+class G

idea/testData/multiModuleQuickFix/accessibilityChecker/topLevelFunParameter/common/foo.kt

@@ -0,0 +1 @@
+// To be implemented

idea/testData/multiModuleQuickFix/accessibilityChecker/topLevelFunReturnType/common/foo.kt

@@ -0,0 +1 @@
+// To be implemented

idea/testData/multiModuleQuickFix/accessibilityChecker/topLevelFunReturnType/jvm/Utils.kt

@@ -1,7 +1,7 @@
 // "Create expected function in common module testModule_Common" "true"
-// SHOULD_FAIL_WITH: You cannot create the expect declaration from:,fun foo(some: List<T>){...}
+// SHOULD_FAIL_WITH: You cannot create the expect declaration from:,fun foo(some: List&lt;T&gt;) = TODO()
 // DISABLE-ERRORS
 
 interface Some
 
-actual fun <T : Some> foo(some: List<T>) {}
+actual fun <T> <caret>foo(some: List<T>): Some = TODO()

idea/testData/multiModuleQuickFix/accessibilityChecker/topLevelFunTypeParameter/common/foo.kt

@@ -0,0 +1 @@
+// To be implemented

idea/testData/multiModuleQuickFix/accessibilityChecker/topLevelFunTypeParameter/jvm/Utils.kt

@@ -1,5 +1,5 @@
 // "Create expected function in common module testModule_Common" "true"
-// SHOULD_FAIL_WITH: You cannot create the expect declaration from:,fun foo(some: List<Some>){...}
+// SHOULD_FAIL_WITH: You cannot create the expect declaration from:,fun foo(some: List&lt;Some&gt;){...}
 // DISABLE-ERRORS
 
 class Some

idea/testData/multiModuleQuickFix/accessibilityChecker/topLevelFunUpperBounds/common/foo.kt

@@ -0,0 +1 @@
+// To be implemented

idea/testData/multiModuleQuickFix/accessibilityChecker/topLevelFunUpperBounds/jvm/Utils.kt

@@ -1,5 +1,5 @@
 // "Create expected function in common module testModule_Common" "true"
-// SHOULD_FAIL_WITH: You cannot create the expect declaration from:,fun foo(some: List<T>){...}
+// SHOULD_FAIL_WITH: You cannot create the expect declaration from:,fun foo(some: List&lt;T&gt;){...}
 // DISABLE-ERRORS
 
 interface Some

idea/testData/multiModuleQuickFix/accessibilityChecker/topLevelFunUpperBounds2/common/foo.kt

@@ -0,0 +1,3 @@
+// To be implemented
+
+interface CommonClass

idea/testData/multiModuleQuickFix/accessibilityChecker/topLevelFunUpperBounds2/jvm/Utils.kt

@@ -1,7 +1,7 @@
 // "Create expected function in common module testModule_Common" "true"
-// SHOULD_FAIL_WITH: You cannot create the expect declaration from:,fun foo(some: Some){...}
+// SHOULD_FAIL_WITH: You cannot create the expect declaration from:,fun foo(some: List<T>){...}
 // DISABLE-ERRORS
 
-class Some
+interface Some
 
-actual fun foo(some: Some) {}
+actual fun <T : CommonClass, F : Some> <caret>foo(some: List<T>) {}

idea/testData/multiModuleQuickFix/accessibilityChecker/topLevelProperty/common/foo.kt

@@ -0,0 +1 @@
+// To be implemented

idea/testData/multiModuleQuickFix/accessibilityChecker/topLevelProperty/jvm/Utils.kt

@@ -0,0 +1,7 @@
+// "Create expected property in common module testModule_Common" "true"
+// SHOULD_FAIL_WITH: You cannot create the expect declaration from:,actual val foo: Some = TODO()
+// DISABLE-ERRORS
+
+interface Some
+
+actual val foo<caret>: Some = TODO()

idea/testData/multiModuleQuickFix/accessibilityChecker/topLevelPropertyTypeParam2/common/foo.kt

@@ -0,0 +1 @@
+// To be implemented

idea/testData/multiModuleQuickFix/accessibilityChecker/topLevelPropertyTypeParam2/jvm/Utils.kt

@@ -0,0 +1,7 @@
+// "Create expected property in common module testModule_Common" "true"
+// SHOULD_FAIL_WITH: You cannot create the expect declaration from:,actual val <T>Some<T>.foo: Some<T> get() = TODO()
+// DISABLE-ERRORS
+
+class Some<T>
+
+actual val <T>Some<T>.<caret>foo: Some<T> get() = TODO()

idea/testData/multiModuleQuickFix/accessibilityChecker/topLevelPropertyTypeParamBound/common/foo.kt

@@ -0,0 +1,3 @@
+// To be implemented
+
+class Some<T>

idea/testData/multiModuleQuickFix/accessibilityChecker/topLevelPropertyTypeParamBound/jvm/Utils.kt

@@ -0,0 +1,6 @@
+// "Create expected property in common module testModule_Common" "true"
+// SHOULD_FAIL_WITH: You cannot create the expect declaration from:,actual val <T: A> Some<T>.foo: Some<T> get() = TODO()
+// DISABLE-ERRORS
+interface A
+
+actual val <T: A> Some<T>.<caret>foo: Some<T> get() = TODO()

idea/testData/multiModuleQuickFix/createActual/createWithImport/common/a.kt

@@ -0,0 +1,6 @@
+// "Create actual class for module testModule_JVM (JVM)" "true"
+package a
+
+import b.B
+
+expect class <caret>A : B

idea/testData/multiModuleQuickFix/createActual/createWithImport/common/b.kt

@@ -0,0 +1,3 @@
+package b
+
+open class B

idea/testData/multiModuleQuickFix/createActual/createWithImport/jvm/A.kt.after

@@ -0,0 +1,5 @@
+package a
+
+import b.B
+
+actual class A : B()

idea/testData/multiModuleQuickFix/createExpect/createWithImport/common/A.kt.after

@@ -0,0 +1,5 @@
+package a
+
+import b.B
+
+expect class A : B

idea/testData/multiModuleQuickFix/createExpect/createWithImport/common/b.kt

@@ -0,0 +1,3 @@
+package b
+
+open class B

idea/testData/multiModuleQuickFix/createExpect/createWithImport/jvm/a.kt

@@ -0,0 +1,6 @@
+// "Create expected class in common module testModule_Common" "true"
+package a
+
+import b.B
+
+actual class <caret>A : B()

idea/testData/multiModuleQuickFix/createExpect/funWithInaccessibleTypeParameter/jvm/Utils.kt.after

@@ -1,7 +0,0 @@
-// "Create expected function in common module testModule_Common" "true"
-// SHOULD_FAIL_WITH: You cannot create the expect declaration from:,fun foo(some: List<Some>){...}
-// DISABLE-ERRORS
-
-class Some
-
-actual fun foo(some: List<Some>) {}

idea/testData/multiModuleQuickFix/createExpect/innerClassWithTypeParam/common/A.kt.after

@@ -0,0 +1,3 @@
+expect class A<T> {
+    inner class B<F : T>
+}

idea/testData/multiModuleQuickFix/createExpect/innerClassWithTypeParam/jvm/A.kt

@@ -0,0 +1,6 @@
+// "Create expected class in common module testModule_Common" "true"
+// DISABLE-ERRORS
+
+class A<T> {
+    actual inner class <caret>B<F : T>
+}

idea/testData/multiModuleQuickFix/createExpect/innerClassWithTypeParam/jvm/A.kt.after

@@ -0,0 +1,6 @@
+// "Create expected class in common module testModule_Common" "true"
+// DISABLE-ERRORS
+
+actual class A<T> {
+    actual inner class <caret>B<F : T>
+}

idea/testData/multiModuleQuickFix/createExpect/innerClassWithTypeParam2/common/A.kt.after

@@ -0,0 +1,4 @@
+expect open class A<T : A<T>> {
+    class C<T>
+    inner class B<F : C<C<C<A<T>>>>>
+}

idea/testData/multiModuleQuickFix/createExpect/innerClassWithTypeParam2/jvm/A.kt

@@ -0,0 +1,7 @@
+// "Create expected class in common module testModule_Common" "true"
+// DISABLE-ERRORS
+
+actual open class <caret>A<T: A<T>> {
+    actual class C<T>
+    actual inner class B<F : C<C<C<A<T>>>>>
+}

idea/testData/multiModuleQuickFix/createExpect/innerClassWithTypeParam2/jvm/A.kt.after

@@ -0,0 +1,7 @@
+// "Create expected class in common module testModule_Common" "true"
+// DISABLE-ERRORS
+
+actual open class A<T: A<T>> {
+    actual class C<T>
+    actual inner class B<F : C<C<C<A<T>>>>>
+}

idea/testData/multiModuleQuickFix/createExpect/memberFunctionAndNestedClass/common/A.kt.after

@@ -0,0 +1,5 @@
+expect class A {
+    class M
+
+    fun a(): M
+}

idea/testData/multiModuleQuickFix/createExpect/memberFunctionAndNestedClass/jvm/Utils.kt

@@ -0,0 +1,7 @@
+// "Create expected class in common module testModule_Common" "true"
+// DISABLE-ERRORS
+
+class A {
+    actual class M
+    actual fun <caret>a(): M = TODO()
+}

idea/testData/multiModuleQuickFix/createExpect/memberFunctionAndNestedClass/jvm/Utils.kt.after

@@ -0,0 +1,7 @@
+// "Create expected class in common module testModule_Common" "true"
+// DISABLE-ERRORS
+
+actual class A {
+    actual class M
+    actual fun <caret>a(): M = TODO()
+}

idea/testData/multiModuleQuickFix/createExpect/topLevelPropertyWithTypeParam/common/foo.kt

@@ -0,0 +1,3 @@
+// To be implemented
+
+class Some<T>

idea/testData/multiModuleQuickFix/createExpect/topLevelPropertyWithTypeParam/common/foo.kt.after

@@ -0,0 +1,5 @@
+// To be implemented
+
+class Some<T>
+
+expect val <T> Some<T>.<caret>foo: Some<T>

idea/testData/multiModuleQuickFix/createExpect/topLevelPropertyWithTypeParam/jvm/Utils.kt

@@ -0,0 +1,4 @@
+// "Create expected property in common module testModule_Common" "true"
+// DISABLE-ERRORS
+
+actual val <T> Some<T>.<caret>foo: Some<T> get() = TODO()