> bar() を呼び出せるなら何でも foo の引数に入れられるのが

それってさfoo関数の引数 aはbarメソッドを
持った型ではなければならないってことだよね？

コードに書くならば

function foo(/* fooメソッドを持った型 */ a) {
a.bar()
}