3 ms·It depends on the type system, but often all usages are taken into account during type inference.by wtetzner 9y agoIt depends on the type system, but often all usages are taken into account during type inference.