Microsoft/TypeScript

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

Open

#41,232 创建于 2020年10月25日

在 GitHub 查看
 (3 评论) (1 反应) (0 负责人)TypeScript (48,455 star) (6,726 fork)batch import
BugDomain: check: Control FlowHelp Wanted

描述

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

贡献者指南