Implicit type narrowing documentation.