我正在尝试编写一些代码，对来自任意接口/类（作为泛型参数提供）的一组字符串属性名称执行一些操作。
我的第一次尝试看起来像这样：

function doSomething<T extends object>(props: (keyof T)[]) {
    for (let prop of props) {
        const x: string = prop;
    }
}

这会导致以const开头的行中出现编译器错误：
TS 2322：键入“字符串|号码|symbol'不能分配给类型' string '。
类型“number”不能赋给类型“string”。
现在，第一行看起来很清楚-keyof T可能是一个字符串，但也可能是一个数字或符号。
然而，第二行让我意想不到的是--为什么编译器会认为prop是number而不是别的？或者这只是一个可能的冲突情况的例子？
在任何情况下，我想我可以简单地限制我的循环体，只处理那些字符串属性名：

function doSomething<T extends object>(props: (keyof T)[]) {
    for (let prop of props) {
        if (typeof prop === 'string') {
            const x: string = prop;
        }
    }
}

但是现在，我的类型检查条件typeof prop === 'string'被突出显示，并显示一条消息：
无效的“typeof”检查：“prop”不能具有类型“string”
为什么prop不能是字符串呢？当我用一个示例类调用我的函数时，我当然可以传递一个字符串数组（显然，只要这些字符串匹配示例类的属性名）。
或者这些字符串隐式地转换为symbol？事实上，如果我将类型检查条件更改为typeof prop === 'symbol'，就不会再警告这将永远不会匹配。但是，在第一条错误消息中，keyof T被显式地说成是字符串、数字或符号，那么在什么情况下它会是字符串呢？
我的代码现在处于可以在Jest单元测试中运行的状态，令人惊讶的是，prop实际上是一个字符串。它不能有类型string的建议实际上是错误的。（不幸的是，我不能关闭它，因为WebStorm没有给予工具链中的哪一部分生成了消息。）
这可能与bug WEB-49787有关。