This might be useful for languages that support separate compilation, where it is only at link phase that it becomes known whether any type is actually referenced by other code.