Skip to content

Fix get_trie_ref on a read zipper that owns its root - #128

Merged
luketpeterson merged 2 commits into
Adam-Vandervorst:masterfrom
imlvts:fix/head-read-zipper-trie-ref
Sep 24, 2026
Merged

luketpeterson merged 2 commits into
Adam-Vandervorst:masterfrom
imlvts:fix/head-read-zipper-trie-ref

Conversation

@imlvts

@imlvts imlvts commented Sep 23, 2026

Copy link
Copy Markdown
Collaborator

ZipperHead read zippers own their root node, and get_trie_ref borrowed the root for the zipper's whole lifetime, which panics for an owned root. The TrieRef only needs to borrow the zipper.

ZipperHead read zippers own their root node, and get_trie_ref borrowed
the root for the zipper's whole lifetime, which panics for an owned root.
The TrieRef only needs to borrow the zipper.
@luketpeterson

Copy link
Copy Markdown
Collaborator

Good fix. Merging.

@luketpeterson
luketpeterson merged commit 3d91788 into Adam-Vandervorst:master Sep 24, 2026
4 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.

2 participants