编译器显然不满意func(b, a)需要第二个参数，而Foo的func方法不需要，可以通过在实现中使a可选来消除这个错误：

const f: Foo = {
  func(b, a?) {    
  //       ^-- optional
  }
}

注意，通常情况下，并不总是能找到一种可以编译的方法。重载函数 * 语句 * 允许它们的实现比任何调用签名类型化得更松散，但重载函数 * 表达式 * 并不是这样工作的：

function barFunc(a: string): number;
function barFunc(b: number, a: string): string;
function barFunc(b: string | number, a?: string) {
  return typeof b === "string" ? b.length : a // okay
}

type Bar = {
  func(a: string): number;
  func(b: number, a: string): string;
}
const g: Bar = {
  func(b, a?) { // error!
    return typeof b === "string" ? b.length : a
  }
}

在microsoft/TypeScript#47669中有一个特性请求，允许箭头函数以与函数语句相同的方式重载，但目前它还不是语言的一部分。
因此，如果你发现自己有一个不可能实现的重载arrow函数，你应该重构为一个函数语句：

const h: Bar = { func: barFunc }; // okay

或者使用类型Assert来放松类型检查，使其能够编译：

const i: Bar = {
  func(b, a?) { 
    return (typeof b === "string" ? b.length : a) as any // okay
  }
}

Playground代码链接