First pass at tackling this is here:

https://github.com/cplusplus/draft/compare/master...zygoloid:iso-2?expand=1

I've split this into a multiple changes for easier review, and because I think we may want to adopt only some of them. Specifically, I would propose taking 886b293 and d9b5f40 for C++17, but not a38a131.

Thoughts?

886b293 addresses the comment nicely.

d9b5f40 is great. (On the same subject, are we even allowed to have a second set of defns in lib-intro.tex? Those should also be in Clause 3, or not use the Terms and definitions format, no? Not something to fix for C++17 though).

Both changes look very nice!

886b293 just highlights some of our more dodgy definitions, e.g. "argument of throw expression" (it's probably an operand these days that throw-expression is a first-class expression in clause 8 [expr]).

@jwakely regarding the "on the same subject note": I agree. Further, maybe we should review clause 3 afresh: It's not clear to me which definitions should go there as opposed to being inline. Something like "access", which is essentially only used in the memory model subsection, is in Clause 3, but other more global definitions aren't, it seems.

I've been contemplating whether to suggest we start to issue the standard in two parts (language and library). If we do that, each part gets to have its own "Terms and Definitions". Seems like something to talk over with at least Herb before making changes to the Terms and Definitions in Clause 20.

@zygoloid: We do have interdependencies between language and library; in particular the language refers to the library for some of its semantics (cf. operator new or Gor's coroutines) and (of course) the library fully depends on the language. That essentially requires synchronized releases of library and language, without a clear hierarchy between the two, unlike some other multipart standards where part -1 is "common terms and defintions", part -2 specifies the geometry of a screw, and part -3 specifies measuring apparatus / approaches to determine whether a given screw satisfies part -2.

First two commits pushed to c++17, all three pushed to master.

Resolution: ACCEPTED