Improve documentation for unreachable

Fixes #18876