Nice post!
Axel Rauschmayer
542

Thanks Dr Axel!

“Call site” might not be the best name but what FlowType does here is determining types bottom-up. Based on * operator it determines the type of parameter and then in call site it points to the error.

TypeScript does not do that. Mohamed Hegazy descries the reasoning behind it here: https://github.com/Microsoft/TypeScript/issues/15196#issuecomment-294618460

Like what you read? Give Mohsen Azimi a round of applause.

From a quick cheer to a standing ovation, clap to show how much you enjoyed this story.