Skip to content

Update with latest master#939

Merged
automergerpr-permission-manager[bot] merged 3 commits intofeature/p-tokenfrom
master
Feb 11, 2026
Merged

Update with latest master#939
automergerpr-permission-manager[bot] merged 3 commits intofeature/p-tokenfrom
master

Conversation

@dkcumming
Copy link
Collaborator

dkcumming and others added 3 commits February 4, 2026 13:32
Adding more tests for correcting the semantics of `BinOp::Offset`
The type of the offset that can reach this rule can be unsigned or
signed, depending on the method used in the source code (offset,
get_unchecked). This PR makes that change, and updates the relevant
tests.
#937)

* When casting pointers, projections are added which adjust the type of
the pointee to the target pointee type.
* Some of these projections naturally cancel out against other inverse
ones. The `appendP` function is adjusted to do these cancellations.
* Test expectations are adjusted accordingly. The `iterator_simple` test
is now passing.
Copy link
Member

@jberthold jberthold left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🚀

@automergerpr-permission-manager automergerpr-permission-manager bot merged commit 280f602 into feature/p-token Feb 11, 2026
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

Comments