// RUN_PIPELINE_TILL: FRONTEND
// FIR_IDENTICAL
// LANGUAGE: +ForbidExtensionCallsOnInlineFunctionalParameters
// DIAGNOSTICS: -UNUSED_EXPRESSION -UNUSED_PARAMETER -UNUSED_VARIABLE -NOTHING_TO_INLINE -ASSIGNED_BUT_NEVER_ACCESSED_VARIABLE -UNUSED_VALUE -NON_LOCAL_RETURN_NOT_ALLOWED

operator fun <T, U> Function1<T, U>.minusAssign(p: Function1<T, U>) {}

inline <!INAPPLICABLE_OPERATOR_MODIFIER!>operator<!> fun <T, U> Function1<T, U>.modAssign(p: Function1<T, U>) = {
    this += p
    <!USAGE_IS_NOT_INLINABLE!>p<!> += this
}

inline operator fun <T, U> Function1<T, U>.plusAssign(p: Function1<T, U>) {
    this -= <!USAGE_IS_NOT_INLINABLE!>p<!>
    <!USAGE_IS_NOT_INLINABLE!>p<!> -= this
}

operator fun <T, U, V> @ExtensionFunctionType Function2<T, U, V>.minusAssign(ext : @ExtensionFunctionType Function2<T, U, V>) {}

inline <!INAPPLICABLE_OPERATOR_MODIFIER!>operator<!> fun <T, U, V> @ExtensionFunctionType Function2<T, U, V>.modAssign(ext : @ExtensionFunctionType Function2<T, U, V>) = {
    this += ext
    <!USAGE_IS_NOT_INLINABLE!>ext<!> += this
}

inline operator fun <T, U, V> @ExtensionFunctionType Function2<T, U, V>.plusAssign(ext : @ExtensionFunctionType Function2<T, U, V>) {
    this -= <!USAGE_IS_NOT_INLINABLE!>ext<!>
    <!USAGE_IS_NOT_INLINABLE!>ext<!> -= this
}

inline fun <T, U, V> inlineFunWithInvoke(s: (p: T) -> U, ext: T.(p: U) -> V) {
    <!USAGE_IS_NOT_INLINABLE!>s<!> += s
    <!USAGE_IS_NOT_INLINABLE!>ext<!> += ext
}

/* GENERATED_FIR_TAGS: funWithExtensionReceiver, functionDeclaration, functionalType, inline, lambdaLiteral,
nullableType, operator, thisExpression, typeParameter, typeWithExtension */
