Unsound type guard check
Reports a typeof or instanceof unsound type guard check. The typeof x type guard can be unsound in one of the following two cases:
typeof xnever corresponds to the specified value (for example,typeof x === 'number'whenxis of the type 'string | boolean')typeof xalways corresponds to the specified value (for example,typeof x === 'string'whenxis of the type 'string')
The x instanceof A type guard can be unsound in one of the following two cases:
The type of
xis not related toAThe type of
xisAor a subtype ofA
Inspection Details | |
|---|---|
Available in: | AppCode 2023.3, CLion 2023.3, GoLand 2023.3, IntelliJ IDEA 2023.3, JetBrains Rider 2023.1, PhpStorm 2023.3, PyCharm 2023.3, Qodana for .NET 2023.1, Qodana for JS 2023.3, Qodana for JVM 2023.3, Qodana for PHP 2023.3, Qodana for Ruby 2023.3, RubyMine 2023.3, WebStorm 2023.3 |
Plugin: | JavaScript and TypeScript, 233.SNAPSHOT |