Differing user-defined type guard and 'typeof' type guard behaviour when narrowing 'any'

In the below code, using a typeof type guard and an equivalent (I thought) user-defined guard, only one error is produced.

var y: any;

// Built-in type guard
if (typeof y === "string") {
    y.hello = true; // Correct error - 'hello' does not exist on type string
}

// Equivalent user-defined type guard
function f(x: any): x is string {
    return typeof x === "string";
}

if (f(y)) {
    y.hello = true; // No error with user-defined guard
}

Playground demo. Looks like user-defined type guards won't narrow from any, in any circumstances, as far as I can tell.

Bắt đầu với ví dụ TypeScript Playground trong issue và tái hiện các chẩn đoán khác nhau đối với các guard tích hợp sẵn và do người dùng định nghĩa. Theo dõi hành vi narrowing của compiler đối với một giá trị any và xác minh rằng guard do người dùng định nghĩa tạo ra cùng một lỗi cho y.hello như guard typeof.