[red-knot] gather type prevalence statistics#15834

Open

carljm wants to merge 2 commits intomainfrom coverage

+131

Commits on Jan 30, 2025

[red-knot] gather type prevalence statistics
carljm
committed

Commits on Jan 31, 2025

fix summing TypeStatistics
carljm
committed