diff options
| author | Jubilee <46493976+workingjubilee@users.noreply.github.com> | 2021-09-11 08:23:39 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-11 08:23:39 -0700 |
| commit | 94cbefb52a601a9eb73396edcb286bb9e9eb8f0e (patch) | |
| tree | 7be06618c25d688e8da96613a1240d7e954361c7 /src/test | |
| parent | 95b50eb6629a7877c06fb0ab545a6016ea579897 (diff) | |
| parent | bbe3be9bf8d8e8503b8effbe392d0e449224b406 (diff) | |
| download | rust-94cbefb52a601a9eb73396edcb286bb9e9eb8f0e.tar.gz rust-94cbefb52a601a9eb73396edcb286bb9e9eb8f0e.zip | |
Rollup merge of #88147 - FabianWolff:issue-88097, r=jackh726
Fix non-capturing closure return type coercion
Fixes #88097. For the example given there:
```rust
fn peculiar() -> impl Fn(u8) -> u8 {
return |x| x + 1
}
```
which incorrectly reports an error, I noticed something weird in the debug log:
```
DEBUG rustc_typeck::check::coercion coercion::try_find_coercion_lub([closure@test.rs:2:12: 2:21], [closure@test.rs:2:12: 2:21], exprs=1 exprs)
```
Apparently, `try_find_coercion_lub()` thinks that the LUB for two closure types always has to be a function pointer (which explains the `expected closure, found fn pointer` error in #88097). There is one corner case where that isn't true, though — namely, when the two closure types are equal, in which case the trivial LUB is the type itself. This PR fixes this by inserting an explicit check for type equality in `try_find_coercion_lub()`.
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/ui/coercion/issue-88097.rs | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/src/test/ui/coercion/issue-88097.rs b/src/test/ui/coercion/issue-88097.rs new file mode 100644 index 00000000000..e543e1bae92 --- /dev/null +++ b/src/test/ui/coercion/issue-88097.rs @@ -0,0 +1,31 @@ +// In #88097, the compiler attempted to coerce a closure type to itself via +// a function pointer, which caused an unnecessary error. Check that this +// behavior has been fixed. + +// check-pass + +fn peculiar() -> impl Fn(u8) -> u8 { + return |x| x + 1 +} + +fn peculiar2() -> impl Fn(u8) -> u8 { + return |x| x + 1; +} + +fn peculiar3() -> impl Fn(u8) -> u8 { + let f = |x| x + 1; + return f +} + +fn peculiar4() -> impl Fn(u8) -> u8 { + let f = |x| x + 1; + f +} + +fn peculiar5() -> impl Fn(u8) -> u8 { + let f = |x| x + 1; + let g = |x| x + 2; + return if true { f } else { g } +} + +fn main() {} |
