| // RUN_PIPELINE_TILL: FRONTEND |
| // DIAGNOSTICS: -UNUSED_PARAMETER |
| |
| interface JPAEntityClass<D> { |
| fun <T> T.findByName(s: String): D {null!!} |
| } |
| |
| class Foo { |
| companion object : JPAEntityClass<Foo> |
| } |
| |
| fun main() { |
| <!CANNOT_INFER_PARAMETER_TYPE!>with<!>("", { |
| Foo.<!UNRESOLVED_REFERENCE!>findByName<!>("") |
| }) |
| with(Foo) { |
| findByName("") |
| } |
| } |
| |
| /* GENERATED_FIR_TAGS: checkNotNullCall, classDeclaration, companionObject, funWithExtensionReceiver, |
| functionDeclaration, interfaceDeclaration, lambdaLiteral, nullableType, objectDeclaration, stringLiteral, typeParameter */ |
