1 // Test that we have enough false edges to avoid exposing the exact matching
2 // algorithm in borrow checking.
4 fn all_previous_tests_may_be_done(y: &mut (bool, bool)) {
6 // We don't actually test y.1 to select the second arm, but we don't want
7 // borrowck results to be based on the order we match patterns.
8 match y { //~ ERROR cannot use `y.1` because it was mutably borrowed