Its static type is something like: dynamic -> dynamic -> dynamic That's because that's how dynamic type systems work, from a static typing perspective. Th

Its static type is something like: dynamic -> dynamic -> dynamic That's because that's how dynamic type systems work, from a static typing perspective. They defer typing until runtime. Properties of the code proven before execution aren't usually very interesting.