`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

リンクされた TypeScript Playground の再現から始め、assignLabel の呼び出し後に hoisted 関数 a と変数に代入された関数 b および c を比較してください。assertion function に対する type-checker の動作を追跡し、呼び出し後のコードで a.label が受け入れられ、動作しているケースを後退させないことを確認して完了としてください。