Skip to content

[lib] Remove superfluous typename in alias declarations #8371

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Oct 31, 2025
Merged

[lib] Remove superfluous typename in alias declarations #8371

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
133 changes: 66 additions & 67 deletions source/containers.tex
View file
Open in desktop

Large diffs are not rendered by default.

4 changes: 2 additions & 2 deletions source/exec.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4777,7 +4777,7 @@
[]<class State, class Rcvr, class Tag, class... Args>(
auto, State, Rcvr& rcvr, Tag, Args&&... args) noexcept -> void {
if constexpr (@\libconcept{same_as}@<Tag, set_value_t>) {
using variant_type = typename State::type;
using variant_type = State::type;
@\exposid{TRY-SET-VALUE}@(rcvr, variant_type(@\exposid{decayed-tuple}@<Args...>{std::forward<Args>(args)...}));
} else {
Tag()(std::move(rcvr), std::forward<Args>(args)...);
Expand Down Expand Up @@ -5057,7 +5057,7 @@
template<class Sndr, class... Env>
static consteval void @\exposid{check-types}@() { // \expos
using associate_data_t = remove_cvref_t<@\exposid{data-type}@<Sndr>>;
using child_type_t = typename associate_data_t::@\exposid{wrap-sender}@;
using child_type_t = associate_data_t::@\exposid{wrap-sender}@;
(void)get_completion_signatures<child_type_t, @\exposid{FWD-ENV-T}@(Env)...>();
}
};
Expand Down
4 changes: 2 additions & 2 deletions source/future.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -293,11 +293,11 @@
template<size_t Len, size_t Align = @\exposid{default-alignment}@> // \seebelow
struct aligned_storage;
template<size_t Len, size_t Align = @\exposid{default-alignment}@> // \seebelow
using @\libglobal{aligned_storage_t}@ = typename aligned_storage<Len, Align>::type;
using @\libglobal{aligned_storage_t}@ = aligned_storage<Len, Align>::type;
template<size_t Len, class... Types>
struct aligned_union;
template<size_t Len, class... Types>
using @\libglobal{aligned_union_t}@ = typename aligned_union<Len, Types...>::type;
using @\libglobal{aligned_union_t}@ = aligned_union<Len, Types...>::type;
}
\end{codeblock}

Expand Down
120 changes: 60 additions & 60 deletions source/iostreams.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1814,9 +1814,9 @@
class basic_ios : public ios_base {
public:
using char_type = charT;
using int_type = typename traits::int_type;
using pos_type = typename traits::pos_type;
using off_type = typename traits::off_type;
using int_type = traits::int_type;
using pos_type = traits::pos_type;
using off_type = traits::off_type;
using traits_type = traits;

// \ref{iostate.flags}, flags functions
Expand Down Expand Up @@ -2999,9 +2999,9 @@
class basic_streambuf {
public:
using char_type = charT;
using int_type = typename traits::int_type;
using pos_type = typename traits::pos_type;
using off_type = typename traits::off_type;
using int_type = traits::int_type;
using pos_type = traits::pos_type;
using off_type = traits::off_type;
using traits_type = traits;

virtual ~basic_streambuf();
Expand Down Expand Up @@ -4310,9 +4310,9 @@
public:
// types (inherited from \tcode{basic_ios}\iref{ios})
using char_type = charT;
using int_type = typename traits::int_type;
using pos_type = typename traits::pos_type;
using off_type = typename traits::off_type;
using int_type = traits::int_type;
using pos_type = traits::pos_type;
using off_type = traits::off_type;
using traits_type = traits;

// \ref{istream.cons}, constructor/destructor
Expand Down Expand Up @@ -5803,9 +5803,9 @@
public basic_ostream<charT, traits> {
public:
using char_type = charT;
using int_type = typename traits::int_type;
using pos_type = typename traits::pos_type;
using off_type = typename traits::off_type;
using int_type = traits::int_type;
using pos_type = traits::pos_type;
using off_type = traits::off_type;
using traits_type = traits;

// \ref{iostream.cons}, constructor
Expand Down Expand Up @@ -5934,9 +5934,9 @@
public:
// types (inherited from \tcode{basic_ios}\iref{ios})
using char_type = charT;
using int_type = typename traits::int_type;
using pos_type = typename traits::pos_type;
using off_type = typename traits::off_type;
using int_type = traits::int_type;
using pos_type = traits::pos_type;
using off_type = traits::off_type;
using traits_type = traits;

// \ref{ostream.cons}, constructor/destructor
Expand Down Expand Up @@ -8038,9 +8038,9 @@
class basic_stringbuf : public basic_streambuf<charT, traits> {
public:
using char_type = charT;
using int_type = typename traits::int_type;
using pos_type = typename traits::pos_type;
using off_type = typename traits::off_type;
using int_type = traits::int_type;
using pos_type = traits::pos_type;
using off_type = traits::off_type;
using traits_type = traits;
using allocator_type = Allocator;

Expand Down Expand Up @@ -8898,9 +8898,9 @@
class basic_istringstream : public basic_istream<charT, traits> {
public:
using char_type = charT;
using int_type = typename traits::int_type;
using pos_type = typename traits::pos_type;
using off_type = typename traits::off_type;
using int_type = traits::int_type;
using pos_type = traits::pos_type;
using off_type = traits::off_type;
using traits_type = traits;
using allocator_type = Allocator;

Expand Down Expand Up @@ -9269,9 +9269,9 @@
class basic_ostringstream : public basic_ostream<charT, traits> {
public:
using char_type = charT;
using int_type = typename traits::int_type;
using pos_type = typename traits::pos_type;
using off_type = typename traits::off_type;
using int_type = traits::int_type;
using pos_type = traits::pos_type;
using off_type = traits::off_type;
using traits_type = traits;
using allocator_type = Allocator;

Expand Down Expand Up @@ -9640,9 +9640,9 @@
class basic_stringstream : public basic_iostream<charT, traits> {
public:
using char_type = charT;
using int_type = typename traits::int_type;
using pos_type = typename traits::pos_type;
using off_type = typename traits::off_type;
using int_type = traits::int_type;
using pos_type = traits::pos_type;
using off_type = traits::off_type;
using traits_type = traits;
using allocator_type = Allocator;

Expand Down Expand Up @@ -10091,9 +10091,9 @@
: public basic_streambuf<charT, traits> {
public:
using char_type = charT;
using int_type = typename traits::int_type;
using pos_type = typename traits::pos_type;
using off_type = typename traits::off_type;
using int_type = traits::int_type;
using pos_type = traits::pos_type;
using off_type = traits::off_type;
using traits_type = traits;

// \ref{spanbuf.cons}, constructors
Expand Down Expand Up @@ -10418,9 +10418,9 @@
: public basic_istream<charT, traits> {
public:
using char_type = charT;
using int_type = typename traits::int_type;
using pos_type = typename traits::pos_type;
using off_type = typename traits::off_type;
using int_type = traits::int_type;
using pos_type = traits::pos_type;
using off_type = traits::off_type;
using traits_type = traits;

// \ref{ispanstream.cons}, constructors
Expand Down Expand Up @@ -10606,9 +10606,9 @@
: public basic_ostream<charT, traits> {
public:
using char_type = charT;
using int_type = typename traits::int_type;
using pos_type = typename traits::pos_type;
using off_type = typename traits::off_type;
using int_type = traits::int_type;
using pos_type = traits::pos_type;
using off_type = traits::off_type;
using traits_type = traits;

// \ref{ospanstream.cons}, constructors
Expand Down Expand Up @@ -10745,9 +10745,9 @@
: public basic_iostream<charT, traits> {
public:
using char_type = charT;
using int_type = typename traits::int_type;
using pos_type = typename traits::pos_type;
using off_type = typename traits::off_type;
using int_type = traits::int_type;
using pos_type = traits::pos_type;
using off_type = traits::off_type;
using traits_type = traits;

// \ref{spanstream.cons}, constructors
Expand Down Expand Up @@ -10989,9 +10989,9 @@
class basic_filebuf : public basic_streambuf<charT, traits> {
public:
using char_type = charT;
using int_type = typename traits::int_type;
using pos_type = typename traits::pos_type;
using off_type = typename traits::off_type;
using int_type = traits::int_type;
using pos_type = traits::pos_type;
using off_type = traits::off_type;
using traits_type = traits;
using native_handle_type = @\impdefx{type of \tcode{native_handle_type}}@; // see \ref{file.native}

Expand Down Expand Up @@ -11788,11 +11788,11 @@
class basic_ifstream : public basic_istream<charT, traits> {
public:
using char_type = charT;
using int_type = typename traits::int_type;
using pos_type = typename traits::pos_type;
using off_type = typename traits::off_type;
using int_type = traits::int_type;
using pos_type = traits::pos_type;
using off_type = traits::off_type;
using traits_type = traits;
using native_handle_type = typename basic_filebuf<charT, traits>::native_handle_type;
using native_handle_type = basic_filebuf<charT, traits>::native_handle_type;

// \ref{ifstream.cons}, constructors
basic_ifstream();
Expand Down Expand Up @@ -12047,11 +12047,11 @@
class basic_ofstream : public basic_ostream<charT, traits> {
public:
using char_type = charT;
using int_type = typename traits::int_type;
using pos_type = typename traits::pos_type;
using off_type = typename traits::off_type;
using int_type = traits::int_type;
using pos_type = traits::pos_type;
using off_type = traits::off_type;
using traits_type = traits;
using native_handle_type = typename basic_filebuf<charT, traits>::native_handle_type;
using native_handle_type = basic_filebuf<charT, traits>::native_handle_type;

// \ref{ofstream.cons}, constructors
basic_ofstream();
Expand Down Expand Up @@ -12304,11 +12304,11 @@
class basic_fstream : public basic_iostream<charT, traits> {
public:
using char_type = charT;
using int_type = typename traits::int_type;
using pos_type = typename traits::pos_type;
using off_type = typename traits::off_type;
using int_type = traits::int_type;
using pos_type = traits::pos_type;
using off_type = traits::off_type;
using traits_type = traits;
using native_handle_type = typename basic_filebuf<charT, traits>::native_handle_type;
using native_handle_type = basic_filebuf<charT, traits>::native_handle_type;

// \ref{fstream.cons}, constructors
basic_fstream();
Expand Down Expand Up @@ -12621,9 +12621,9 @@
class basic_syncbuf : public basic_streambuf<charT, traits> {
public:
using char_type = charT;
using int_type = typename traits::int_type;
using pos_type = typename traits::pos_type;
using off_type = typename traits::off_type;
using int_type = traits::int_type;
using pos_type = traits::pos_type;
using off_type = traits::off_type;
using traits_type = traits;
using allocator_type = Allocator;

Expand Down Expand Up @@ -12934,9 +12934,9 @@
class basic_osyncstream : public basic_ostream<charT, traits> {
public:
using char_type = charT;
using int_type = typename traits::int_type;
using pos_type = typename traits::pos_type;
using off_type = typename traits::off_type;
using int_type = traits::int_type;
using pos_type = traits::pos_type;
using off_type = traits::off_type;
using traits_type = traits;

using allocator_type = Allocator;
Expand Down
24 changes: 12 additions & 12 deletions source/iterators.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -771,7 +771,7 @@
template<class T>
requires requires { typename T::difference_type; }
struct incrementable_traits<T> {
using difference_type = typename T::difference_type;
using difference_type = T::difference_type;
};

template<class T>
Expand Down Expand Up @@ -1016,11 +1016,11 @@
\tcode{iterator_traits<I>}
has the following publicly accessible members:
\begin{codeblock}
using iterator_category = typename I::iterator_category;
using value_type = typename I::value_type;
using difference_type = typename I::difference_type;
using iterator_category = I::iterator_category;
using value_type = I::value_type;
using difference_type = I::difference_type;
using pointer = @\seebelow@;
using reference = typename I::reference;
using reference = I::reference;
\end{codeblock}
If the \grammarterm{qualified-id} \tcode{I::pointer} is valid and
denotes a type, then \tcode{iterator_traits<I>::pointer} names that type;
Expand All @@ -1034,8 +1034,8 @@
publicly accessible members:
\begin{codeblock}
using iterator_category = @\seebelow@;
using value_type = typename indirectly_readable_traits<I>::value_type;
using difference_type = typename incrementable_traits<I>::difference_type;
using value_type = indirectly_readable_traits<I>::value_type;
using difference_type = incrementable_traits<I>::difference_type;
using pointer = @\seebelow@;
using reference = @\seebelow@;
\end{codeblock}
Expand Down Expand Up @@ -3201,7 +3201,7 @@
using iterator_category = @\seebelow@;
using value_type = iter_value_t<Iterator>;
using difference_type = iter_difference_t<Iterator>;
using pointer = typename iterator_traits<Iterator>::pointer;
using pointer = iterator_traits<Iterator>::pointer;
using reference = iter_reference_t<Iterator>;

constexpr reverse_iterator();
Expand Down Expand Up @@ -5920,9 +5920,9 @@
using value_type = iter_value_t<I>; // present only
// if \tcode{I} models \libconcept{indirectly_readable}
using difference_type = iter_difference_t<I>;
using iterator_concept = typename I::iterator_concept; // present only
using iterator_concept = I::iterator_concept; // present only
// if the \grammarterm{qualified-id} \tcode{I::iterator_concept} is valid and denotes a type
using iterator_category = typename I::iterator_category; // present only
using iterator_category = I::iterator_category; // present only
// if the \grammarterm{qualified-id} \tcode{I::iterator_category} is valid and denotes a type
constexpr counted_iterator() requires @\libconcept{default_initializable}@<I> = default;
constexpr counted_iterator(I x, iter_difference_t<I> n);
Expand Down Expand Up @@ -6892,12 +6892,12 @@
public:
using iterator_category = input_iterator_tag;
using value_type = charT;
using difference_type = typename traits::off_type;
using difference_type = traits::off_type;
using pointer = @\unspec@;
using reference = charT;
using char_type = charT;
using traits_type = traits;
using int_type = typename traits::int_type;
using int_type = traits::int_type;
using streambuf_type = basic_streambuf<charT,traits>;
using istream_type = basic_istream<charT,traits>;

Expand Down
Loading