src/tools/miri/tests/pass/from_utf8.rs

fn main() {
    let _val = ::std::str::from_utf8(b"a");
}