`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

Commencez par la reproduction liée dans TypeScript Playground et comparez la fonction hoisted a avec les fonctions assignées à des variables b et c après l'appel de assignLabel. Suivez le comportement du vérificateur de types pour les fonctions d'assertion et confirmez la finalisation lorsque a.label est accepté dans le code suivant l'appel, sans régression des cas qui fonctionnent.