contract C {
    string s = "\xa0\x00";
}
// ----
// TypeError 7407: (28-38='"\xa0\x00"'): Type literal_string hex"a000" is not implicitly convertible to expected type string storage ref. Contains invalid UTF-8 sequence at position 0.