mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

update comment

Browse Source
This commit is contained in:
Slanterns 2024-06-16 06:31:37 +08:00
parent 9239d3eb2b
commit 6cce48838b
No known key found for this signature in database
GPG Key ID: 1AA37EE7FAAE433A
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
library/core/src/error.rs
View File

@ -928,7 +928,7 @@ impl<'a, I: MaybeSizedType<'a>> Type<'a> for Ref<I> {
/// An `Option` with a type tag `I`. /// An `Option` with a type tag `I`.
/// ///
/// Since this struct implements `Erased`, the type can be erased to make a dynamically typed /// Since this struct implements `Erased`, the type can be erased to make a dynamically typed
/// option. The type can be checked dynamically using `Erased::tag_id` and since this is statically /// option. The type can be checked dynamically using `Tagged::tag_id` and since this is statically
/// checked for the concrete type, there is some degree of type safety. /// checked for the concrete type, there is some degree of type safety.
#[repr(transparent)] #[repr(transparent)]
pub(crate) struct TaggedOption<'a, I: tags::Type<'a>>(pub Option<I::Reified>); pub(crate) struct TaggedOption<'a, I: tags::Type<'a>>(pub Option<I::Reified>);