blob: 4fcfe5c38389bc30a2446862a72a0f40af50857d [file] [log] [blame]
//@ run-rustfix
struct A;
struct B;
impl From<A> for B {
fn from(_: A) -> Self { B }
}
fn foo1(x: Result<(), A>) -> Result<(), B> {
Ok(x?) //~ ERROR mismatched types
}
fn foo2(x: Result<(), A>) -> Result<(), B> {
return Ok(x?); //~ ERROR mismatched types
}
fn foo3(x: Result<(), A>) -> Result<(), B> {
if true {
Ok(x?) //~ ERROR mismatched types
} else {
Ok(x?) //~ ERROR mismatched types
}
}
fn main() {
let _ = foo1(Ok(()));
let _ = foo2(Ok(()));
let _ = foo3(Ok(()));
}