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

  }

  fun testBoundReceiverExpression() {
    use(fn = { // BLOCK
      local fun Host.withVararg(p0: Int) {
        receiver.withVararg(xs = [p0]) /*~> Unit */
      }

      Host()::withVararg
    })
  }

  fun testBoundReceiverLocalVal() {
    val h: Host = Host()
    use(fn = { // BLOCK
      local fun Host.withVararg(p0: Int) {
        receiver.withVararg(xs = [p0]) /*~> Unit */
      }

      h::withVararg
    })
  }

  fun testBoundReceiverLocalVar() {
    var h: Host = Host()
    use(fn = { // BLOCK
      local fun Host.withVararg(p0: Int) {
        receiver.withVararg(xs = [p0]) /*~> Unit */
      }

      h::withVararg
    })
  }

  fun testBoundReceiverParameter(h: Host) {
    use(fn = { // BLOCK
      local fun Host.withVararg(p0: Int) {
        receiver.withVararg(xs = [p0]) /*~> Unit */
      }

      h::withVararg
    })
  }

  fun testImplicitThis() {
    use(fn = { // BLOCK
      local fun Host.withVararg(p0: Int) {
        receiver.withVararg(xs = [p0]) /*~> Unit */
      }

      <this>::withVararg
    })
  }

  fun withVararg(vararg xs: Int): String {
    return ""
  }

}

fun use(fn: Function1<Int, Unit>) {
  fn.invoke(p1 = 1)
}