ruff

[ty] Fix subtyping for dynamic specializations

#20592

Merged