// warning: org.jetbrains.kotlin.idea.inspections.UnusedReceiverParameterInspection
// quickFix = True

fun Int.foo() = 10

// :4:5: Receiver parameter is never used