Improve documentation for unreachable

Fixes #18876
to what?