error: expected identifier after `:`
 --> $DIR/no-ident-after-colon.rs:4:15
  |
4 |     fn [<name:0>]() {}
  |               ^