// xfail-boot
tag t {
  a;
  b(@int);
}

fn main() {
  auto x = b(@10);
  x = a;
}