А есть ли в стандарте что-нибудь про то, что массивы с разным количеством элементов должны иметь разный размер?

Например:

using a = char[1];
using b = char[2];

static_assert(sizeof(a) != sizeof(b));

Тут ассерт по стандарту или это implementation defined?