| // FILE: Sam.java | |
| @SamWithReceiver | |
| public interface Sam { | |
| void run(String a); | |
| } | |
| // FILE: Exec.java | |
| public class Exec { | |
| void exec(Sam sam) {} | |
| } | |
| // FILE: test.kt | |
| annotation class SamWithReceiver | |
| fun test() { | |
| val e = Exec() | |
| e.exec <!ARGUMENT_TYPE_MISMATCH!>{ <!CANNOT_INFER_VALUE_PARAMETER_TYPE!>a<!> -> System.out.println(a) }<!> | |
| e.exec { System.out.println(this) } | |
| } |