nandi/rustnim · 905-reject-nothing-translated.rs

⑂ 4e4d09dcdd22d17ba510de5639fc3a952ac73f6e

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

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