TS Spec doesn't match implementation re method signature definitions

TS Spec § 3.9.5 says:

A method signature of the form

f < T1, T2, ... > ( p1, p2, ... ) : R

is equivalent to the property declaration

f : { < T1, T2, ... > ( p1, p2, ... ) : R }

But this is not the case with --strictFunctionTypes:

interface IFoo1 {
    bar(baz?: number): void
}
class Foo1 implements IFoo1 {
    bar: (baz: number) => void = (n) => void 0;
}

interface IFoo2 {
    bar: { (baz?: number): void }
}
class Foo2 implements IFoo2 {
    bar: (baz: number) => void = (n) => void 0; // err: Property 'bar' in type 'Foo2' is not assignable to the same property in base type 'IFoo2'.
}

I understand that the method bivarience in general is intentional as per the PR:

With this PR we introduce a --strictFunctionTypes mode in which function type parameter positions are checked contravariantly instead of bivariantly. The stricter checking applies to all function types, except those originating in method or construcor declarations

But it would be nice if the spec didn't state the syntaxes were equivalent when they aren't.

Mở doc/spec.md tại §3.9.5 và so sánh khẳng định về tính tương đương trong đó với ngoại lệ strictFunctionTypes được mô tả trong PR 18654. Cập nhật đặc tả để phân biệt chính xác giữa các khai báo phương thức và các thuộc tính có giá trị là hàm, sau đó xem lại các ví dụ trong issue để xác nhận rằng cách diễn đạt phù hợp với hành vi của chúng.