Type coverage

The share of checked identifiers whose types do not escape to any under a defined tool policy.

Also known as type coverage rate