ruff
[ty] Add dedicated variant for `NominalInstance(object)`
#20340
Merged

[ty] Add dedicated variant for `NominalInstance(object)` #20340

dcreager merged 14 commits into main from dcreager/object-variant
dcreager
dcreager dcreager added internal
dcreager dcreager added ty
dcreager add dedicated variant for NominalInstance(object)
08f39e7d
dcreager remove unneeded param
64846127
dcreager clippy
0a38c286
dcreager dcreager force pushed from 80679e81 to 0a38c286 127 days ago
github-actions
github-actions
dcreager dcreager added ecosystem-analyzer
github-actions
dcreager dcreager marked this pull request as ready for review 127 days ago
dcreager dcreager requested a review from carljm carljm 127 days ago
dcreager dcreager requested a review from AlexWaygood AlexWaygood 127 days ago
dcreager dcreager requested a review from sharkdp sharkdp 127 days ago
carljm
carljm approved these changes on 2025-09-11
AlexWaygood
AlexWaygood requested changes on 2025-09-11
dcreager Apply suggestions from code review
45c186b4
dcreager Merge branch 'main' into dcreager/object-variant
7b7418f6
dcreager finish rename
a05bfb2a
dcreager make nominal class infallible again
19a58240
dcreager clean up the diff
ada6dcee
AlexWaygood
AlexWaygood approved these changes on 2025-09-11
dcreager Apply suggestions from code review
423f65a4
AlexWaygood
dcreager Apply suggestions from code review
8b728983
dcreager ≤ `object` is always true
78478437
dcreager document known_class
e4c5b14b
dcreager Merge remote-tracking branch 'origin/main' into dcreager/object-variant
b411f23f
AlexWaygood
AlexWaygood commented on 2025-09-11
dcreager optimization for is_disjoint
90c04c8a
AlexWaygood
AlexWaygood approved these changes on 2025-09-11
dcreager dcreager merged abb705aa into main 127 days ago
dcreager dcreager deleted the dcreager/object-variant branch 127 days ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone