Proposed resolution:

This wording is relative to N4618.

1. Modify [meta.type.synop] as indicated:

   -1- The behavior of a program that adds specializations for any of the templates defined in this subclause is undefined unless otherwise specifiedUnless otherwise specified, a program that adds specializations for any of the templates defined in this subclause is ill-formed; no diagnostic required.