From Jason Turner

[time.zone.zonedtime.nonmembers]

Diff to HTML by rtfpessoa

tmp/tmpf1pp3b2l/{from.md → to.md} RENAMED
@@ -13,10 +13,11 @@ template<class charT, class traits, class Duration, class TimeZonePtr>
13
  basic_ostream<charT, traits>&
14
  operator<<(basic_ostream<charT, traits>& os,
15
  const zoned_time<Duration, TimeZonePtr>& t);
16
  ```
17
 
18
- *Effects:* Streams the value returned from `t.get_local_time()` to `os`
19
- using the format `"%F %T %Z"`.
20
 
21
- *Returns:* `os`.
 
 
22
 
 
13
  basic_ostream<charT, traits>&
14
  operator<<(basic_ostream<charT, traits>& os,
15
  const zoned_time<Duration, TimeZonePtr>& t);
16
  ```
17
 
18
+ *Effects:* Equivalent to:
 
19
 
20
+ ``` cpp
21
+ return os << format(os.getloc(), STATICALLY-WIDEN<charT>("{:L%F %T %Z}"), t);
22
+ ```
23