# X_UNREACHABLE

## Means

unreachable branch was reached

## Typical cause

an exhaustive `switch` met a value the type says cannot exist

## Fix

narrow the union at the call site

[Core and runtime](/error-codes#core-and-runtime)