// xfail-stage0

fn main() {
  auto x = {{[10]}};
}