| // 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 */ |
