wth is your position then? If I can know the types from just looking at the code then it must have adequate type annotations and none of this matters. If I can’t tell the types and I have to pull the code locally to figure it out then I’m not starting the review on a good foot.

I think people here are thinking about type inference in a very local scope and not at a public function level which I understood the author to be complaining about.