String literal type inconsistency in overload resolution

As far as I see, the TS compiler still sees a string literal type of a single literal as an old style "string parameter" thing. I thought that the concept of string literal types should replace overloading on string parameters, but seems that it doesn't.

That complicates things, and results in a "strange" behaviour in overload resolution:

class A256 {
    m(a): any;
    m(a: "a" | "b"): string;
    m(a: "c"): string;
    m(a): any {}
}

var foo1 = new A256().m("a"); // 'any'
var foo2 = new A256().m("c"); // 'string'

What should be the correct logic with string literal types in overload resolution?
Shouldn't overloads with unions of literals precede the others as well, when resolving overloads?

Bắt đầu bằng cách biên dịch ví dụ A256 và so sánh các kiểu được suy luận của foo1 và foo2 với hành vi overload mong đợi. Sau đó, truy vết cách trình biên dịch xử lý việc phân giải overload cho các union của string literal; công việc được coi là hoàn tất khi hành vi đã được định nghĩa và ví dụ được phân giải nhất quán theo quy tắc đó, đồng thời bổ sung độ bao phủ hồi quy nếu xác định được vị trí kiểm thử liên quan.