//# publish
module 0x42.Duplicate {
  struct T { f: u64 }
}

//# publish
module 0x42.Duplicate {
  struct T { f: u64, g: bool }
  // cannot add fields to public types
}