/src/test/compile-fail/rfc-1937-termination-trait/
../
termination-trait-main-i32.rs
termination-trait-not-satisfied.rs