blob: 0cde6119308e5e6bf03444fa8c143fe22fd5f4a2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
// 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() {}
|