=== Highlighting

* If the function returns the wrong type:
** Primary: The return statement
**  Secondaries: 1. the function name, 2. The type hint
* If the function might terminate without reaching a return statement:
** Primary Location: The function name
** Secondary: the type hint

