class Context {
  constructor() /* primary */ {
    super/*Any*/()
    /* <init>() */

  }

  fun c(): Int {
    return 1
  }

}

inline fun testInline(_context_receiver_0: Context): Int {
  return _context_receiver_0.c()
}

inline fun testInlineWithArg(_context_receiver_0: Context, i: Int): Int {
  return i.plus(other = _context_receiver_0.c())
}

inline fun Int.testInlineWithExtensionAndArg(_context_receiver_0: Context, i: Int): Int {
  return <this>.plus(other = i).plus(other = _context_receiver_0.c())
}

inline fun Int.testInlineWithExtensionAndMultipleArgs(_context_receiver_0: Context, i1: Int, i2: Int): Int {
  return <this>.plus(other = i1).plus(other = i2).plus(other = _context_receiver_0.c())
}

inline fun Int.testInlineWithExtensionAndMultipleContextsAndArgs(_context_receiver_0: Context, _context_receiver_1: Any, i1: Int = 1, i2: Int = 2): Int {
  return <this>.plus(other = i1).plus(other = i2).plus(other = _context_receiver_0.c()).plus(other = when {
    EQEQ(arg0 = _context_receiver_1, arg1 = null) -> 0
    else -> 1
  })
}

fun box(): String {
  return with<Context, Nothing>(receiver = Context(), block = local fun Context.<anonymous>(): Nothing {
    var result: Int = 0
    result = result.plus(other = testInline(_context_receiver_0 = $this$with))
    result = result.plus(other = testInlineWithArg(_context_receiver_0 = $this$with, i = 1))
    result = result.plus(other = 1.testInlineWithExtensionAndArg(_context_receiver_0 = $this$with, i = 1))
    result = result.plus(other = 1.testInlineWithExtensionAndMultipleArgs(_context_receiver_0 = $this$with, i1 = 1, i2 = 2))
    with<Int, Unit>(receiver = 1, block = local fun Int.<anonymous>() {
      result = result.plus(other = 1.testInlineWithExtensionAndMultipleContextsAndArgs(_context_receiver_0 = $this$with, _context_receiver_1 = $this$with, i1 = 1, i2 = 2))
      result = result.plus(other = 1.testInlineWithExtensionAndMultipleContextsAndArgs(_context_receiver_0 = $this$with, _context_receiver_1 = $this$with))
    }
)
    return when {
      EQEQ(arg0 = result, arg1 = 23) -> "OK"
      else -> "fail"
    }
  }
)
}
