[ty] Explicitly track the "support" of each constraint set

[dcreager]

description TBD

[astral-sh-bot]

Typing conformance results

No changes detected ✅

Current numbers

The percentage of diagnostics emitted that were expected errors held steady at 86.95%. The percentage of expected errors that received a diagnostic held steady at 77.43%.

[astral-sh-bot]

Memory usage report

Memory usage unchanged ✅

[astral-sh-bot]

mypy_primer results

Changes were detected when running on open source projects

discord.py (https://github.com/Rapptz/discord.py)
- discord/ext/commands/converter.py:381:16: error[invalid-return-type] Return type does not match returned value: expected `tuple[int | None, int, int]`, found `tuple[(Guild & ~AlwaysTruthy) | None | int, int, int]`
+ discord/ext/commands/converter.py:381:16: error[invalid-return-type] Return type does not match returned value: expected `tuple[int | None, int, int]`, found `tuple[None | (Guild & ~AlwaysTruthy) | int, int, int]`

[astral-sh-bot]

ecosystem-analyzer results

Lint rule	Added	Removed	Changed
invalid-return-type	0	0	1
Total	0	0	1

Full report with detailed diff (timing results)

[codspeed-hq]

Merging this PR will degrade performance by 4.34%

❌ 1 regressed benchmark
✅ 25 untouched benchmarks
⏩ 30 skipped benchmarks¹

⚠️ Please fix the performance issues or acknowledge them on CodSpeed.

Performance Changes

	Mode	Benchmark	BASE	HEAD	Efficiency
❌	WallTime	colour_science	111.1 s	116.1 s	-4.34%

---

_{Comparing dcreager/add-support (2b07c2c) with main (f9324a5)}

Footnotes

1. 30 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩