Fixes #90 ("Type safety issues of s_iterator_to")

This commit is contained in:
Ion Gaztañaga
2025-04-19 22:21:28 +02:00
parent e3d04834a5
commit ca83c03010
2 changed files with 4 additions and 4 deletions

View File

@@ -1260,7 +1260,7 @@ class list_impl
} }
} }
//! <b>Requires</b>: value must be a reference to a value inserted in a list. //! <b>Requires</b>: `value` must be a reference to a value inserted in an instance of this container type.
//! //!
//! <b>Effects</b>: This function returns a const_iterator pointing to the element //! <b>Effects</b>: This function returns a const_iterator pointing to the element
//! //!
@@ -1297,7 +1297,7 @@ class list_impl
return const_iterator(value_traits::to_node_ptr(r), const_value_traits_ptr()); return const_iterator(value_traits::to_node_ptr(r), const_value_traits_ptr());
} }
//! <b>Requires</b>: value must be a reference to a value inserted in a list. //! <b>Requires</b>: `value` must be a reference to a value inserted in an instance of this container type.
//! //!
//! <b>Effects</b>: This function returns a const_iterator pointing to the element //! <b>Effects</b>: This function returns a const_iterator pointing to the element
//! //!

View File

@@ -1742,7 +1742,7 @@ class slist_impl
} }
} }
//! <b>Requires</b>: value must be a reference to a value inserted in a list. //! <b>Requires</b>: `value` must be a reference to a value inserted in an instance of this container type.
//! //!
//! <b>Effects</b>: This function returns a const_iterator pointing to the element //! <b>Effects</b>: This function returns a const_iterator pointing to the element
//! //!
@@ -1777,7 +1777,7 @@ class slist_impl
return const_iterator(value_traits::to_node_ptr(r), const_value_traits_ptr()); return const_iterator(value_traits::to_node_ptr(r), const_value_traits_ptr());
} }
//! <b>Requires</b>: value must be a reference to a value inserted in a list. //! <b>Requires</b>: `value` must be a reference to a value inserted in an instance of this container type.
//! //!
//! <b>Effects</b>: This function returns a const_iterator pointing to the element //! <b>Effects</b>: This function returns a const_iterator pointing to the element
//! //!