tmp/tmpiv2w33oo/{from.md → to.md}
RENAMED
|
@@ -5,13 +5,13 @@ namespace std {
|
|
| 5 |
template<class charT, class traits = char_traits<charT>>
|
| 6 |
class basic_ispanstream
|
| 7 |
: public basic_istream<charT, traits> {
|
| 8 |
public:
|
| 9 |
using char_type = charT;
|
| 10 |
-
using int_type =
|
| 11 |
-
using pos_type =
|
| 12 |
-
using off_type =
|
| 13 |
using traits_type = traits;
|
| 14 |
|
| 15 |
// [ispanstream.cons], constructors
|
| 16 |
explicit basic_ispanstream(std::span<charT> s,
|
| 17 |
ios_base::openmode which = ios_base::in);
|
|
|
|
| 5 |
template<class charT, class traits = char_traits<charT>>
|
| 6 |
class basic_ispanstream
|
| 7 |
: public basic_istream<charT, traits> {
|
| 8 |
public:
|
| 9 |
using char_type = charT;
|
| 10 |
+
using int_type = traits::int_type;
|
| 11 |
+
using pos_type = traits::pos_type;
|
| 12 |
+
using off_type = traits::off_type;
|
| 13 |
using traits_type = traits;
|
| 14 |
|
| 15 |
// [ispanstream.cons], constructors
|
| 16 |
explicit basic_ispanstream(std::span<charT> s,
|
| 17 |
ios_base::openmode which = ios_base::in);
|