//// [inferentialTypingObjectLiteralMethod1.ts]
interface Int<T, U> {
    method(x: T): U;
}
declare function foo<T, U>(x: T, y: Int<T, U>, z: Int<U, T>): T;
foo("", { method(p1) { return p1.length } }, { method(p2) { return undefined } });

//// [inferentialTypingObjectLiteralMethod1.js]
foo("", { method: function (p1) { return p1.length; } }, { method: function (p2) { return undefined; } });
