More detailed note to deprecate ONCE_INIT · model-checking/verify-rust-std@556dc60 (original) (raw)

Original file line number	Diff line number	Diff line change
@@ -70,7 +70,7 @@ pub(crate) enum ExclusiveState {
70	70	#[stable(feature = "rust1", since = "1.0.0")]
71	71	#[deprecated(
72	72	since = "1.38.0",
73		- note = "the `new` function is now preferred",
	73	+ note = "the `Once::new()` function is now preferred",
74	74	suggestion = "Once::new()"
75	75	)]
76	76	pub const ONCE_INIT: Once = Once::new();