Adjust some comments on individual `use` declarations. · model-checking/verify-rust-std@0723962 (original) (raw)

Original file line number	Diff line number	Diff line change
@@ -1,5 +1,4 @@
1		-// We avoid relying on anything else in the crate, apart from the `Debug` trait.
2		-use crate::fmt::Debug;
	1	+use crate::fmt::Debug; // the `Debug` trait is the only thing we use from `crate::fmt`
3	2	use std::cmp::Ordering;
4	3	use std::sync::atomic::{AtomicUsize, Ordering::SeqCst};
5	4

Adjust some comments on individual use declarations. · model-checking/verify-rust-std@0723962 (original) (raw)