Proposed resolution:

This wording is relative to N4659.

1. Change [depr.meta.types] as indicated:

   -4- The behavior of a program that adds specializations for any of the templates defined in this subclause is_literal_type or is_literal_type_v is undefined, unless explicitly permitted by the specification of the corresponding template.