summaryrefslogtreecommitdiff
path: root/tests/ui/type/type-check/coerce-result-return-value.fixed
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/type/type-check/coerce-result-return-value.fixed')
-rw-r--r--tests/ui/type/type-check/coerce-result-return-value.fixed8
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/ui/type/type-check/coerce-result-return-value.fixed b/tests/ui/type/type-check/coerce-result-return-value.fixed
index 91066262303..8a05407070d 100644
--- a/tests/ui/type/type-check/coerce-result-return-value.fixed
+++ b/tests/ui/type/type-check/coerce-result-return-value.fixed
@@ -10,7 +10,15 @@ fn foo1(x: Result<(), A>) -> Result<(), B> {
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(()));
}