general fixups and turn TODOs into FIXMEs · model-checking/verify-rust-std@db228b8 (original) (raw)

Original file line number Diff line number Diff line change
@@ -1028,6 +1028,9 @@ pub macro SmartPointer($item:item) {
1028 1028 /* compiler built-in */
1029 1029 }
1030 1030
1031 +// Support traits and types for the desugaring of const traits and
1032 +// `~const` bounds. Not supposed to be used by anything other than
1033 +// the compiler.
1031 1034 #[doc(hidden)]
1032 1035 #[unstable(
1033 1036 feature = "effect_types",
@@ -1036,7 +1039,6 @@ pub macro SmartPointer($item:item) {
1036 1039 )]
1037 1040 #[allow(missing_debug_implementations)] // these unit structs don't need `Debug` impls.
1038 1041 #[cfg(not(bootstrap))]
1039 -// TODO docs
1040 1042 pub mod effects {
1041 1043 #[lang = "EffectsNoRuntime"]
1042 1044 pub struct NoRuntime;