ruff
[ty] Validate specializations "deeply"
#27728
Open
Overview
Commits
8
Changes
View On GitHub

[ty] Validate specializations "deeply" #27728

dcreager wants to merge 8 commits into main from dcreager/validate-specializations
dcreager
dcreager [π] Validate specializations
bd6a1356
dcreager less sharing in subscript.rs
05f4113c
dcreager [π] Store specialization errors in recovered specializations
7eb93e76
dcreager dcreager added ty
astral-sh-bot
astral-sh-bot
astral-sh-bot
codspeed-hq
dcreager [π] Report deep specialization errors from subscripts
8942cb80
dcreager [π] Preserve explicit specialization errors through substitution
74b6484c
dcreager add TODO comment
8cd93adb
dcreager dcreager force pushed from 739c1302 to 8cd93adb 3 days ago
dcreager move collect_blahblah
119abbcd
dcreager [π] Optimize specialization validation
00b1ec0f

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
ty
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum