Skip to content

Disconnect non-empty channel docs#437

Merged
jdm merged 4 commits intoservo:mainfrom
glyn:disconnect-non-empty-channel-docs
Jan 16, 2026
Merged

Disconnect non-empty channel docs#437
jdm merged 4 commits intoservo:mainfrom
glyn:disconnect-non-empty-channel-docs

Conversation

@glyn
Copy link
Contributor

@glyn glyn commented Jan 15, 2026

Here are some docs corresponding to @Narfinger's #436.

@glyn glyn changed the title Disconnect non empty channel docs Disconnect non-empty channel docs Jan 15, 2026
///
/// This is safe if there is only one reader/writer on the data.
/// User can achieve this by not cloning [`IpcSharedMemory`]
/// User can achieve this by not cloning `IpcSharedMemory`
Copy link
Member

Choose a reason for hiding this comment

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

Does linked version not work correctly? Can we fix it instead of removing the link?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Fixed in 70d1019.

Please note that the docs in question are only generated when --document-private-items is passed to cargo doc, but I guess some people may find that useful.

@jdm jdm added this pull request to the merge queue Jan 16, 2026
Merged via the queue into servo:main with commit 6997d3f Jan 16, 2026
25 checks passed
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