blob: 23bafa6c5c94c70a93afabd380f71ab5c3f74427 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
struct A;
struct B;
impl From<A> for B {
fn from(_: A) -> Self { B }
}
fn foo4(x: Result<(), A>) -> Result<(), B> {
match true {
true => x, //~ ERROR mismatched types
false => x,
}
}
fn foo5(x: Result<(), A>) -> Result<(), B> {
match true {
true => return x, //~ ERROR mismatched types
false => return x,
}
}
fn main() {
let _ = foo4(Ok(()));
let _ = foo5(Ok(()));
let _: Result<(), B> = { //~ ERROR mismatched types
Err(A);
};
}
|