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