fun (@ReceiverTypeAnnotation kotlin.Int).foo()