mirror of https://github.com/rust-lang/rust
16 lines
418 B
Rust
16 lines
418 B
Rust
// After #39485, this test used to pass, but that change was reverted
|
|
// due to numerous inference failures like #39808, so it now fails
|
|
// again. #39485 made it so that diverging types never propagate
|
|
// upward; but we now do propagate such types upward in many more
|
|
// cases.
|
|
|
|
fn g() {
|
|
&panic!() //~ ERROR mismatched types
|
|
}
|
|
|
|
fn f() -> isize {
|
|
(return 1, return 2) //~ ERROR mismatched types
|
|
}
|
|
|
|
fn main() {}
|