What are you on about, I didn't say anything about panaceas or what not... just said the obvious: in a language without static typing you just can't assume the type of the argument at all.

> And, technically speaking, yes, I agree, you do need to know all paths to be 100% certain about types.

Yes, thank you.