ruff
[red-knot] more efficient UnionBuilder::add
#13411
Merged
Overview
Commits
11
Changes
View On GitHub

[red-knot] more efficient UnionBuilder::add #13411

carljm merged 11 commits into main from cjm/union-builder
carljm
carljm carljm added ty
carljm carljm requested a review from MichaReiser MichaReiser 362 days ago
carljm carljm requested a review from AlexWaygood AlexWaygood 362 days ago
carljm carljm force pushed from 8d286d0c to 0521ab17 362 days ago
AlexWaygood
AlexWaygood commented on 2024-09-19
github-actions
AlexWaygood
AlexWaygood commented on 2024-09-19
MichaReiser
MichaReiser approved these changes on 2024-09-20
carljm [red-knot] more efficient UnionBuilder::add
db2b0026
carljm use Box<[Type]> instead of Vec in UnionType
d6cdc1c0
carljm deprecate UnionType::contains
7873751a
carljm make msrv happy
48918ba6
carljm actually remove UnionType::contains
7c7120e8
carljm add is_subtype_of support for object type
2ba6e03f
carljm add test for multiple subsumption
35fd4baa
carljm slice-returning accessor for union elements
8f2d142d
carljm carljm force pushed from c8d51a94 to 8f2d142d 361 days ago
carljm use smallvec for to_remove
47768caf
carljm avoid a new vec in the remove-multiple case
3d0565fb
carljm
carljm
carljm add some blank lines
54b90b10
carljm carljm merged 149fb209 into main 361 days ago
carljm carljm deleted the cjm/union-builder branch 361 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
ty
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum