trait T {
  default const f: u8 = 0;
}