testsuite: Add test cases that pass
auto merge of #6692 : catamorphism/rust/testcases, r=catamorphism