diff options
| author | Lzu Tao <taolzu@gmail.com> | 2024-07-13 00:54:00 +0000 |
|---|---|---|
| committer | Lzu Tao <taolzu@gmail.com> | 2024-07-13 00:54:00 +0000 |
| commit | 9c1a9e03d5e001543a21eaff5d616de8cb4e2220 (patch) | |
| tree | 6196f427c3c0eff905a8c80f04c78e3ddc577b07 | |
| parent | 5e1cabe98271fc79cd8ebf8e9722df781cad7aa8 (diff) | |
| download | rust-9c1a9e03d5e001543a21eaff5d616de8cb4e2220.tar.gz rust-9c1a9e03d5e001543a21eaff5d616de8cb4e2220.zip | |
add test for Result<&T, _> where T; Deref
| -rw-r--r-- | tests/ui/mismatched_types/transforming-option-ref-issue-127545.rs | 4 | ||||
| -rw-r--r-- | tests/ui/mismatched_types/transforming-option-ref-issue-127545.stderr | 22 |
2 files changed, 25 insertions, 1 deletions
diff --git a/tests/ui/mismatched_types/transforming-option-ref-issue-127545.rs b/tests/ui/mismatched_types/transforming-option-ref-issue-127545.rs index 9125ffeeb06..f589e88f68e 100644 --- a/tests/ui/mismatched_types/transforming-option-ref-issue-127545.rs +++ b/tests/ui/mismatched_types/transforming-option-ref-issue-127545.rs @@ -12,3 +12,7 @@ pub fn bar(arg: Option<&Vec<i32>>) -> &[i32] { pub fn barzz<'a>(arg: Option<&'a Vec<i32>>, v: &'a [i32]) -> &'a [i32] { arg.unwrap_or(v) //~ ERROR 13:19: 13:20: mismatched types [E0308] } + +pub fn convert_result(arg: Result<&Vec<i32>, ()>) -> &[i32] { + arg.unwrap_or(&[]) //~ ERROR 17:19: 17:22: mismatched types [E0308] +} diff --git a/tests/ui/mismatched_types/transforming-option-ref-issue-127545.stderr b/tests/ui/mismatched_types/transforming-option-ref-issue-127545.stderr index 90a7cfdb449..0a6d47339d8 100644 --- a/tests/ui/mismatched_types/transforming-option-ref-issue-127545.stderr +++ b/tests/ui/mismatched_types/transforming-option-ref-issue-127545.stderr @@ -61,6 +61,26 @@ help: use `Option::map_or` to deref inner value of `Option` LL | arg.map_or(v, |v| v) | ~~~~~~~~~~~~~~~~ -error: aborting due to 3 previous errors +error[E0308]: mismatched types + --> $DIR/transforming-option-ref-issue-127545.rs:17:19 + | +LL | arg.unwrap_or(&[]) + | --------- ^^^ expected `&Vec<i32>`, found `&[_; 0]` + | | + | arguments to this method are incorrect + | + = note: expected reference `&Vec<i32>` + found reference `&[_; 0]` +help: the return type of this call is `&[_; 0]` due to the type of the argument passed + --> $DIR/transforming-option-ref-issue-127545.rs:17:5 + | +LL | arg.unwrap_or(&[]) + | ^^^^^^^^^^^^^^---^ + | | + | this argument influences the return type of `unwrap_or` +note: method defined here + --> $SRC_DIR/core/src/result.rs:LL:COL + +error: aborting due to 4 previous errors For more information about this error, try `rustc --explain E0308`. |