rust/test-cargo-miri/tests/main.rs

#![feature(imported_main)]

use cargo_miri_test::main;