contract test { uint8 public x = -1; } // ---- // TypeError: (37-39): Type int_const -1 is not implicitly convertible to expected type uint8.