rust/tests/ui/match/match-unresolved-one-arm.rs

fn foo<T>() -> T { panic!("Rocks for my pillow") }

fn main() {
    let x = match () { //~ ERROR type annotations needed
        () => foo() // T here should be unresolved
    };
}
port the match code to use `CoerceMany` `match { }` now (correctly?) indicates divergence, which results in more unreachable warnings. We also avoid fallback to `!` if there is just one arm (see new test: `match-unresolved-one-arm.rs`). 2017-03-17 13:51:31 +00:00			`fn foo<T>() -> T { panic!("Rocks for my pillow") }`

			`fn main() {`
			`let x = match () { //~ ERROR type annotations needed`
			`() => foo() // T here should be unresolved`
			`};`
			`}`