From Jason Turner

[support.srcloc.class]

Diff to HTML by rtfpessoa

tmp/tmpgl88k5xt/{from.md → to.md} RENAMED
@@ -1,7 +1,9 @@
1
  ### Class `source_location` <a id="support.srcloc.class">[[support.srcloc.class]]</a>
2
 
 
 
3
  ``` cpp
4
  namespace std {
5
  struct source_location {
6
  // source location construction
7
  static consteval source_location current() noexcept;
@@ -21,13 +23,13 @@ namespace std {
21
  };
22
  }
23
  ```
24
 
25
  The type `source_location` meets the *Cpp17DefaultConstructible*,
26
- *Cpp17CopyConstructible*, *Cpp17CopyAssignable*, and *Cpp17Destructible*
27
- requirements [[utility.arg.requirements]]. Lvalues of type
28
- `source_location` are swappable [[swappable.requirements]]. All of the
29
  following conditions are `true`:
30
 
31
  - `is_nothrow_move_constructible_v<source_location>`
32
  - `is_nothrow_move_assignable_v<source_location>`
33
  - `is_nothrow_swappable_v<source_location>`
@@ -60,11 +62,11 @@ static consteval source_location current() noexcept;
60
 
61
  *Returns:*
62
 
63
  - When invoked by a function call whose *postfix-expression* is a
64
  (possibly parenthesized) *id-expression* naming `current`, returns a
65
- `source_location` with an implementation-defined value. The value
66
  should be affected by `#line` [[cpp.line]] in the same manner as for
67
  \_\_LINE\_\_ and \_\_FILE\_\_. The values of the exposition-only data
68
  members of the returned `source_location` object are indicated in
69
  [[support.srcloc.current]].
70
  - Otherwise, when invoked in some other way, returns a `source_location`
@@ -109,11 +111,12 @@ void g() {
109
 
110
  ``` cpp
111
  constexpr source_location() noexcept;
112
  ```
113
 
114
- The data members are initialized with valid but unspecified values.
 
115
 
116
  #### Observers <a id="support.srcloc.obs">[[support.srcloc.obs]]</a>
117
 
118
  ``` cpp
119
  constexpr uint_least32_t line() const noexcept;
 
1
  ### Class `source_location` <a id="support.srcloc.class">[[support.srcloc.class]]</a>
2
 
3
+ #### General <a id="support.srcloc.class.general">[[support.srcloc.class.general]]</a>
4
+
5
  ``` cpp
6
  namespace std {
7
  struct source_location {
8
  // source location construction
9
  static consteval source_location current() noexcept;
 
23
  };
24
  }
25
  ```
26
 
27
  The type `source_location` meets the *Cpp17DefaultConstructible*,
28
+ *Cpp17CopyConstructible*, *Cpp17CopyAssignable*, *Cpp17Swappable*, and
29
+ *Cpp17Destructible* requirements
30
+ [[utility.arg.requirements]], [[swappable.requirements]]. All of the
31
  following conditions are `true`:
32
 
33
  - `is_nothrow_move_constructible_v<source_location>`
34
  - `is_nothrow_move_assignable_v<source_location>`
35
  - `is_nothrow_swappable_v<source_location>`
 
62
 
63
  *Returns:*
64
 
65
  - When invoked by a function call whose *postfix-expression* is a
66
  (possibly parenthesized) *id-expression* naming `current`, returns a
67
+ `source_location` with an *implementation-defined* value. The value
68
  should be affected by `#line` [[cpp.line]] in the same manner as for
69
  \_\_LINE\_\_ and \_\_FILE\_\_. The values of the exposition-only data
70
  members of the returned `source_location` object are indicated in
71
  [[support.srcloc.current]].
72
  - Otherwise, when invoked in some other way, returns a `source_location`
 
111
 
112
  ``` cpp
113
  constexpr source_location() noexcept;
114
  ```
115
 
116
+ *Effects:* The data members are initialized with valid but unspecified
117
+ values.
118
 
119
  #### Observers <a id="support.srcloc.obs">[[support.srcloc.obs]]</a>
120
 
121
  ``` cpp
122
  constexpr uint_least32_t line() const noexcept;