The useNavigation() hook doesn't have the push() type on it and there's no way to correct that without doing a cast using the NavigationStackProp type from react-navigation-stack (react-navigation@4). This workaround is fine in the short term, but it's weird to be using types from previous versions of the library.

Example scenario

1) Within a component that's deeply nested inside of a screen component, you want to push a route onto a stack

2) Ideally, you could use the useNavigation hook so you don't have to plumb the injected navigation prop all the way through.

3) Unfortunately, the push() type doesn't exist even though it is there at runtime.

4) You either have to plumb the injected navigation prop all the way through or do an unsafe type cast using a type from react-navigation@4