testsuite: xfailed test cases
auto merge of #7917 : catamorphism/rust/resolve-and-testcases, r=catamorphism