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