tests/crashes/132142.rs

//@ known-bug: #132142

async extern "cmse-nonsecure-entry" fn fun(...) {}