[PEP 696] default substitution not applied correctly when parametrizing a generic type.

Bug report

Bug description:

PEP 696 allows the default of a type-parameter to depend on other type parameters, however, this substitution is not applied at runtime:

class Bar[T, S=T]: ...

print(Bar[int])  # __main__.Bar[int, T]

The result should be __main__.Bar[int, int][^1]

This is likely the root cause for #140596. Tested with 3.13.8, 3.14.0 and 3.15.0a1+

[^1]: pyright playground, mypy-playground, ty-playground, pyrefly sandbox

CPython versions tested on:

CPython main branch

Operating systems tested on:

Linux

Linked PRs

• gh-151811

Bắt đầu với phần PEP 696 về việc sử dụng một tham số kiểu khác làm mặc định và tái hiện ví dụ Bar[int] trong báo cáo trên CPython main. So sánh generic alias tại runtime với kết quả mong đợi main.Bar[int, int], và xem xét PR liên quan gh-151811; hoàn thành có nghĩa là giá trị mặc định phụ thuộc được thay thế tại runtime.