error: `extern` interrupts can't be used as hardware tasks
 --> $DIR/extern-interrupt-used.rs:5:20
  |
5 |     #[task(binds = UART0)]
  |                    ^^^^^