Code Inspection: 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 x never corresponds to the specified value (for example, typeof x === 'number' when x is of the type 'string | boolean')
typeof x always corresponds to the specified value (for example, typeof x === 'string' when x is of the type 'string')

The x instanceof A type guard can be unsound in one of the following two cases:

The type of x is not related to A
The type of x is A or a subtype of A

Suppress an inspection in the editor

Position the caret at the highlighted line and press Alt+Enter or click .
Click the arrow next to the inspection you want to suppress and select the necessary suppress action.

Last modified: 13 May 2022