Skip to content

Update with latest master - #939

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

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

Conversation

@dkcumming

Copy link
Copy Markdown
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.

@jberthold jberthold left a comment

Copy link
Copy Markdown
Collaborator

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