Add narrowing conversions: A to A_Subset, concurrency stress test (17/20) - #117
Draft
jbcoe wants to merge 1 commit into
Draft
Add narrowing conversions: A to A_Subset, concurrency stress test (17/20)#117jbcoe wants to merge 1 commit into
jbcoe wants to merge 1 commit into
Conversation
jbcoe
changed the title
jbcoe
force-pushed
the
reflection/15-allocator-awareness
branch
from
July 28, 2026 11:33
5913f8a to
049668f
Compare
jbcoe
force-pushed
the
reflection/16-narrowing-a-subset
branch
from
July 28, 2026 11:33
27d926c to
2d39def
Compare
jbcoe
force-pushed
the
reflection/15-allocator-awareness
branch
from
July 28, 2026 14:22
049668f to
1c2aae6
Compare
jbcoe
force-pushed
the
reflection/16-narrowing-a-subset
branch
2 times, most recently
from
July 28, 2026 14:27
1b7b545 to
40715e8
Compare
jbcoe
force-pushed
the
reflection/15-allocator-awareness
branch
from
July 28, 2026 14:30
1c2aae6 to
da94e52
Compare
jbcoe
force-pushed
the
reflection/16-narrowing-a-subset
branch
from
July 28, 2026 14:30
40715e8 to
3681824
Compare
jbcoe
force-pushed
the
reflection/15-allocator-awareness
branch
from
July 28, 2026 15:14
da94e52 to
695f58c
Compare
jbcoe
force-pushed
the
reflection/16-narrowing-a-subset
branch
from
July 28, 2026 15:14
3681824 to
812a327
Compare
jbcoe
force-pushed
the
reflection/15-allocator-awareness
branch
from
July 28, 2026 15:28
695f58c to
c2efa45
Compare
jbcoe
force-pushed
the
reflection/16-narrowing-a-subset
branch
from
July 28, 2026 15:29
812a327 to
1bb9691
Compare
jbcoe
force-pushed
the
reflection/15-allocator-awareness
branch
from
July 28, 2026 18:27
c2efa45 to
5156a95
Compare
jbcoe
force-pushed
the
reflection/16-narrowing-a-subset
branch
from
July 28, 2026 18:27
1bb9691 to
ab0371a
Compare
jbcoe
force-pushed
the
reflection/15-allocator-awareness
branch
from
July 28, 2026 19:37
5156a95 to
39c06c6
Compare
jbcoe
force-pushed
the
reflection/16-narrowing-a-subset
branch
from
July 28, 2026 19:37
ab0371a to
ea2f9b2
Compare
jbcoe
force-pushed
the
reflection/15-allocator-awareness
branch
from
July 28, 2026 20:23
39c06c6 to
22d8d16
Compare
jbcoe
force-pushed
the
reflection/16-narrowing-a-subset
branch
from
July 28, 2026 20:23
ea2f9b2 to
5f3c52d
Compare
jbcoe
force-pushed
the
reflection/15-allocator-awareness
branch
from
July 29, 2026 09:48
22d8d16 to
8525f80
Compare
jbcoe
force-pushed
the
reflection/16-narrowing-a-subset
branch
from
July 29, 2026 09:48
5f3c52d to
6fc90b8
Compare
protocol_owning_vtable_traits/map_owning_vtable_members become generic instead of per-interface generated code, enabling narrowing conversions like A to A_Subset. Fixes vtable_slot_name to qualify by member signature only, not declaring class, since narrowing needs the same conceptual member to resolve to the same name across interfaces.
jbcoe
force-pushed
the
reflection/15-allocator-awareness
branch
from
July 29, 2026 10:14
8525f80 to
aaffd2f
Compare
jbcoe
force-pushed
the
reflection/16-narrowing-a-subset
branch
from
July 29, 2026 10:14
6fc90b8 to
75180f7
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
protocol_owning_vtable_traits/map_owning_vtable_members become
generic instead of per-interface generated code, enabling narrowing
conversions like A to A_Subset. Fixes vtable_slot_name to qualify by
member signature only, not declaring class, since narrowing needs
the same conceptual member to resolve to the same name across
interfaces.