| // 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<!>("", <!CANNOT_INFER_PARAMETER_TYPE!>{ | |
| Foo.<!UNRESOLVED_REFERENCE!>findByName<!>("") | |
| }<!>) | |
| with(Foo) { | |
| findByName("") | |
| } | |
| } |