My example name was bad. Something like this highlights it better:
```rust
#[interrupt: TIM2]
fn main_loop_isr(){}
```