Class infers wrong generic parameter since e1874f3 about typescript HOT 2 CLOSED

interface Supervisor<out T> {
  zip<A>(right: Supervisor<A>): Supervisor<[T, A]>;
}

export class Zip<out T0, out T1> implements Supervisor<readonly [T0, T1]> {
  constructor(
    readonly left: Supervisor<T0>,
    readonly right: Supervisor<T1>,
  ) {}

  zip<A>(right: Supervisor<A>): Supervisor<[[T0, T1], A]> {
    return new Zip(this, right);
  }
}