如何告知JetBrains IDE此javascript变量已将类型更改为另一个？

WebAPI具有扩展接口的接口。 如何告诉JetBrains IDE这个特定节点是元素

希望下面的代码能解释一切

/**
*@param{Node}Node
*@return{string}
*/
函数提取器（节点）{
让文字；
if（node.nodeType==node.ELEMENT\u node）{
//在下一行，IDE显示一条警告，
//未为节点定义innerHTML属性。
//如何告诉IDE节点变量在这里变成和元素？
text=node.innerHTML；
}否则{
text=node.textContent；
}
返回文本；
}

我正在使用PyCharm Professional，但我认为这无关紧要。

你不能

如果您愿意，可以改用Typescript

text=（节点作为元素）；

但在javascript中，没有严格的类型，您只能尝试：

/**
* @param {Node | Element} node 
* @return {string}
*/

---

我想知道IDE是否有一些选项不可能。但您可以在JetBrains IDE中禁用该警告。在我的情况下，禁用该警告更容易。但是谢谢你提到打字稿。看起来很有趣。