The compiler can infer the kind through flow analysis, and my understanding is 
that it does ... the docs imply that, anyway.

Reply via email to