Skip to content

Conversation

@Rua
Copy link
Contributor

@Rua Rua commented Nov 26, 2025

A small refactoring that is needed as common dependency for other PRs.

I've added a convert_pointee_type to Translation as well, to ensure that the pointee type gets imported when necessary.

Copy link
Contributor

@fw-immunant fw-immunant left a comment

Choose a reason for hiding this comment

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

One question inline, otherwise looks good.

Copy link
Contributor

@fw-immunant fw-immunant left a comment

Choose a reason for hiding this comment

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

LGTM! Thanks for being patient with the review.

@fw-immunant fw-immunant merged commit e486bb4 into immunant:master Dec 4, 2025
5 checks passed
kkysen added a commit that referenced this pull request Dec 7, 2025
Depends on #1478.

* Fixes #202.

This is more idiomatic, and is also necessary for supporting strict(er)
provenance in the future.
@Rua Rua deleted the convert_pointee branch December 9, 2025 10:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants