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