Also, there's "different" vs. "diferent" in the examples:

source:2:2: error: _Static_assert failed "types are diferent"

2 |static_assert(typeid(a) == typeid(double [10]), "types are diferent"); |^