| // RUN_PIPELINE_TILL: FRONTEND | |
| // JDK_KIND: MODIFIED_MOCK_JDK | |
| // CHECK_TYPE | |
| interface A : MutableCollection<String> { | |
| // Override of deprecated function could be marked as deprecated too | |
| override fun nonExistingMethod(x: String) = "" | |
| } | |
| fun foo(x: MutableCollection<Int>, y: Collection<String>, z: A) { | |
| x.<!UNRESOLVED_REFERENCE!>nonExistingMethod<!>(1).<!CANNOT_INFER_PARAMETER_TYPE, UNRESOLVED_REFERENCE_WRONG_RECEIVER!>checkType<!> { <!UNRESOLVED_REFERENCE_WRONG_RECEIVER!>_<!><<!CANNOT_INFER_PARAMETER_TYPE!>String<!>>() } | |
| y.<!UNRESOLVED_REFERENCE!>nonExistingMethod<!>("") | |
| z.<!DEPRECATION!>nonExistingMethod<!>("") | |
| } | |
| /* GENERATED_FIR_TAGS: classDeclaration, funWithExtensionReceiver, functionDeclaration, functionalType, infix, | |
| integerLiteral, interfaceDeclaration, lambdaLiteral, nullableType, override, stringLiteral, typeParameter, | |
| typeWithExtension */ |