etc are forced
#21506

Open

[ty] Typevars should be considered equivalent even after lazy defaults/bounds/etc are forced #21506

dcreager wants to merge 1 commit into main from dcreager/typevar-bug

lazy/eager bounds/etc should not cause assignability failures

e4be76e8

dcreager added internal

dcreager requested a review from

carljm 109 days ago

dcreager added ty

dcreager requested a review from

AlexWaygood 109 days ago

dcreager requested a review from

sharkdp 109 days ago

AlexWaygood commented on 2025-11-18

carljm marked this pull request as draft 21 days ago

Reviewers

AlexWaygood

carljm

sharkdp

Assignees

No one assigned

Labels

internal ty

Milestone

No milestone