katzdm
commented
4 months ago - Added section describing contexts in which splicers may not appear.
- Revised error-handling section to clarify position of the authors.
- Updated behavior of 'is_incomplete_type'.
- Updated ticker counter to work with updated 'is_incomplete_type' behavior.
- Added justification for restricting values to those of structural type.
- Comparing reflections of values uses 'template-argument-equivalent' notion.
- Added 'is_user_provided' metafunction.
- Clarified that 'parent_of' does return inline and anonymous namespaces.
- Note re: possible extensions to 'reflect_invoke'.
- Mandate that 'members_of'-queries require complete classes.
- Specify that 'members_of'-queries instantiate template specializations.