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