nandi/rustnimpublic Fork 0
d4592812fae6b652d94be442f5b3a408d3ab21b6
Commits
Clone
git clone https://git.rickub.com/nandi/rustnim.git
git clone ssh://git@rickub.com/nandi/rustnim.git

Host key fingerprint (ed25519): SHA256:iycHnxEyq0Q7uyVpB7JlznP0G7JrTPXLYRcAU5CSLhc — verify it before your first connect.

Fail when nothing was translated, not just when the file is empty 0777223 · on d4592812fae6b652d94be442f5b3a408d3ab21b6 · nandithebull · 9h ago
905-reject-nothing-translated.rs · 8 lines · 319 BRust Blame HistoryRaw
1
2
3
4
5
6
7
8
//@ reject: nothing was translated
// Exiting 0 with a file containing only the prelude would report success for
// work that was not done. That is the failure in `findings/`, and it is not
// caught by checking the output file is non-empty.
#[cfg(feature = "something")]
pub fn only_under_a_feature() -> i32 {
    1
}