CWG1716 When are default arguments evaluated
CWG1732 Defining types in conditions and range-based for statements
CWG1737 Type dependence of call to a member of the current instantiation
CWG1738 Explicit instantiation/specialization of inheriting constructor templates