Use markdown header for Safety comments

Author: danakj

subspace/iter/iterator_defn.h

@@ -244,7 +244,7 @@ bool IteratorImpl<Iter, Item>::all(::sus::fn::FnMut<bool(Item)> f) noexcept {
   while (true) {
     Option<Item> item = this->next();
     if (item.is_none()) return true;
-    // Safety: `item` was checked to hold Some already.
+    // SAFETY: `item` was checked to hold Some already.
     if (!f(item.take().unwrap_unchecked(::sus::marker::unsafe_fn)))
       return false;
   }
@@ -256,7 +256,7 @@ bool IteratorImpl<Iter, Item>::any(::sus::fn::FnMut<bool(Item)> f) noexcept {
   while (true) {
     Option<Item> item = this->next();
     if (item.is_none()) return false;
-    // Safety: `item` was checked to hold Some already.
+    // SAFETY: `item` was checked to hold Some already.
     if (f(item.take().unwrap_unchecked(::sus::marker::unsafe_fn))) return true;
   }
 }

subspace/mem/take.h

@@ -45,8 +45,9 @@ inline constexpr T take(T& t) noexcept {
 
 /// Moves from `t` and destroys the object at `t`. Returns the old value of `t`.
 ///
-/// SAFETY: This does *not* re-construct the object pointed to by `t`. It must
-/// not be used (or destructed again) afterward.
+/// # Safety
+/// This does *not* re-construct the object pointed to by `t`. It must not be
+/// used (or destructed again) afterward.
 template <class T>
   requires(::sus::mem::Move<T>)
 inline constexpr T take_and_destruct(::sus::marker::UnsafeFnMarker,
@@ -63,8 +64,9 @@ inline constexpr T take_and_destruct(::sus::marker::UnsafeFnMarker,
 /// Copies from `t` and destroys the object at `t`. Returns the old value of
 /// `t`.
 ///
-/// SAFETY: This does *not* re-construct the object pointed to by `t`. It must
-/// not be used (or destructed again) afterward.
+/// Safety
+/// This does *not* re-construct the object pointed to by `t`. It must not be
+/// used (or destructed again) afterward.
 template <class T>
   requires(::sus::mem::Copy<T>)
 inline constexpr T take_copy_and_destruct(::sus::marker::UnsafeFnMarker,