update comment · model-checking/verify-rust-std@2388743 (original) (raw)

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