tests/cfail/idle.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

#![deny(unsafe_code)]
#![deny(warnings)]
#![feature(proc_macro)]
#![no_std]

extern crate cortex_m_rtfm as rtfm;
extern crate stm32f103xx;

use rtfm::app;

app! { //~ error mismatched types
    device: stm32f103xx,
}

fn init(_p: init::Peripherals) {}

// ERROR `idle` must be a diverging function
fn idle() {}