`asserts` keyword does not enhance hoisted function type, works on functions assigned to a variable

TypeScript Version: 4.0.2, 4.1.0-beta

Search Terms:
asserts function

Code

interface LabelledFunction { label: string; }

function assignLabel(fn: () => unknown, label: string): asserts fn is LabelledFunction {
  Object.assign(fn, { label });
}

function a() { }
assignLabel(a, 'a');
console.info(a.label); // Property 'label' does not exist on type '() => void'.(2339)

const b = function () { };
assignLabel(b, 'b');
console.info(b.label); // works as expected

const c = () => { };
assignLabel(c, 'c');
console.info(c.label); // works as expected

Expected behavior:

At least in runtime code coming after assignLabel(a, 'a');, a.label should be accessible.

Actual behavior:

Property 'label' does not exist on type '() => void'.(2339)

Playground Link: link

Bắt đầu với reproduction TypeScript Playground được liên kết và so sánh hàm hoisted a với các hàm được gán cho biến b và c sau khi gọi assignLabel. Theo dõi hành vi của type-checker đối với các hàm assertion và xác nhận đã hoàn tất khi a.label được chấp nhận trong phần code sau lời gọi mà không làm hồi quy các trường hợp đang hoạt động.