kotlin-fork/compiler/testData/diagnostics/tests/smartCasts/safecalls/simpleNullableReceiver.fir.kt

fun Any?.foo(my: My) = my === this

class My(val x: Any)

// my is nullable in brackets because Any?.foo has nullable receiver
fun foo(my: My?) = my?.x.foo(<!ARGUMENT_TYPE_MISMATCH!>my<!>)