function test(this: number | string, a: string, b: number): number {
  return this.length; // expect []/"" this
}

// arity is strictly two arguments
test.apply("", ["", 0], 'error')

// tuples flow correctly into params
test.apply("", ["", 0]);

// wrong this is an error
test.apply(0, ["", 0]); // error: lookup `length` on Number

// not enough arguments is an error
test.apply("", [""]); // error: void ~> number

// mistyped arguments is an error
test.apply("", ["", ""]); // error: string ~> number (2nd arg)
test.apply("", [0, 0]); // error: number ~> string (1st arg)

// expect array-like
test.apply("", "not array"); // error: string ~> object

// expect 4 errors:
// - lookup length on Number (because 0 is used as `this`)
// - 123 is not a string
// - 'foo' is not a number
// - return type (number) is not void
test.call.apply(test, [0, 123, 'foo']) as void;

// expect 2 errors:
// - lookup length on number (0 is used as `this`)
// - 123 is not a string
test.bind.apply(test, [0, 123]) as (b: number) => number;

// args are optional
function test2(): number { return 0; }
test2.apply() as number;
test2.apply("") as number;

// callable objects
function test3(x: { (a: string, b: string): void, ... }) {
  x.apply(x, ['foo', 'bar']); // ok
  x.apply(x, ['foo', 123]); // error, number !~> string
}
