Skip to content

Conversation

@simonmar
Copy link
Collaborator

Id::operator-=(a,b) throws when a == b, because you're not supposed to make an invalid Id from a valid Id. So instead we use uint64_t to represent the page offsets, because those are not necesarily valid Ids.

This assertion triggered when I tried to add units to the Haskell indexer, I'm not sure why it hasn't triggered before.

@netlify
Copy link

netlify bot commented Nov 20, 2025

Deploy Preview for fb-oss-glean canceled.

Name Link
🔨 Latest commit 9e12793
🔍 Latest deploy log https://app.netlify.com/projects/fb-oss-glean/deploys/69317fff6fe955000807cf46

@meta-cla meta-cla bot added the CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. label Nov 20, 2025
`Id::operator-=(a,b)` throws when a == b, because you're not supposed to
make an invalid Id from a valid Id. So instead we use `uint64_t` to
represent the page offsets, because those are not necesarily valid Ids.

This assertion triggered when I tried to add units to the Haskell
indexer, I'm not sure why it hasn't triggered before.
@simonmar simonmar force-pushed the ownership-assertion branch from 066d949 to 9e12793 Compare December 4, 2025 12:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant