From Jason Turner

[derivation]

Diff to HTML by rtfpessoa

tmp/tmpp32ui74n/{from.md → to.md} RENAMED
@@ -12,10 +12,13 @@ the implementation.
12
  In any case:
13
 
14
  - Every base class described as `virtual` shall be virtual;
15
  - Every base class not specified as `virtual` shall not be virtual;
16
  - Unless explicitly stated otherwise, types with distinct names shall be
17
- distinct types.[^27]
 
 
 
18
 
19
  All types specified in the C++ standard library shall be non-`final`
20
  types unless otherwise specified.
21
 
 
12
  In any case:
13
 
14
  - Every base class described as `virtual` shall be virtual;
15
  - Every base class not specified as `virtual` shall not be virtual;
16
  - Unless explicitly stated otherwise, types with distinct names shall be
17
+ distinct types. \[*Note 1*: There is an implicit exception to this
18
+ rule for types that are described as synonyms
19
+ [[dcl.typedef]], [[namespace.udecl]], such as `size_t`
20
+ [[support.types]] and `streamoff` [[stream.types]]. — *end note*]
21
 
22
  All types specified in the C++ standard library shall be non-`final`
23
  types unless otherwise specified.
24