The TI Arm compiler does not generate an error when it should:

template <class> struct alignas(char) S;
template <class> struct S {};

The test asserts that an alignment specifier must be consistent between the declaration and the definition of a given object. Standard reference 7.6.2; 6a