Unreachable 'case' branch of a 'switch' statement

Reports an unreachable case branch of a switch statement.

Example:

/**
 * @param {('foo' | 'bar')} p
 */
function foo(p) {
    switch (p) {
        case 'foo': break;
        case 'bar': break;
        case 'baz': break; // unreachable
    }
}

Inspection options

Option	Type	Default
Don't show this warning in the context of a dynamic type	Checkbox	true

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

Last modified: 13 July 2023