PR #27728 [ty] Validate specializations "deeply"

[π] Validate specializations

dcreager committed 4 days ago

less sharing in subscript.rs

dcreager committed 4 days ago

[π] Store specialization errors in recovered specializations

dcreager committed 4 days ago

[π] Report deep specialization errors from subscripts

dcreager committed 4 days ago

[π] Preserve explicit specialization errors through substitution

dcreager committed 4 days ago

add TODO comment

dcreager committed 4 days ago

move collect_blahblah

dcreager committed 4 days ago

[π] Optimize specialization validation

dcreager committed 4 days ago

ruff [ty] Validate specializations "deeply" #27728 Open