Skip to content

Fix exception when checking whether an imported domain is identity preserving#875

Merged
ArquintL merged 2 commits intomasterfrom
arquintl-type-identity-preservation-node-not-in-tree
Mar 5, 2025
Merged

Fix exception when checking whether an imported domain is identity preserving#875
ArquintL merged 2 commits intomasterfrom
arquintl-type-identity-preservation-node-not-in-tree

Conversation

@ArquintL
Copy link
Member

@ArquintL ArquintL commented Mar 5, 2025

The added case to decide whether a domain is type identity preserving (see #860) causes a node not in tree exception when the domain is located in a different package. This PR fixes this bug.

@ArquintL ArquintL requested a review from jcp19 March 5, 2025 08:41
@ArquintL ArquintL enabled auto-merge (squash) March 5, 2025 13:03
@ArquintL ArquintL merged commit ab5ab7f into master Mar 5, 2025
3 checks passed
@ArquintL ArquintL deleted the arquintl-type-identity-preservation-node-not-in-tree branch March 5, 2025 13:34
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.

2 participants