// FILE: Sam.java
@SamWithReceiver
public interface Sam {
    String run(String a, String b);
}

// FILE: test.kt
annotation class SamWithReceiver

fun test() {
    Sam <!ARGUMENT_TYPE_MISMATCH!>{ a, <!CANNOT_INFER_VALUE_PARAMETER_TYPE!>b<!> ->
        System.out.println(a)
        ""
    }<!>

    Sam { b ->
        val a: String = this
        System.out.println(a)
        ""
    }
}
