#![allow(incomplete_features)]
#![feature(explicit_tail_calls)]
const fn f() {
become dangerous();
//~^ error: call to unsafe function `dangerous` is unsafe and requires unsafe function or block
}
const unsafe fn dangerous() {}
fn main() {}