Well you need to know enough to know whether it's doing run time checks also.
And also whether it's generating less efficient code to satisfy the type safety requirement.
And also whether it's generating less efficient code to satisfy the type safety requirement.