diff options
| author | Esteban Küber <esteban@kuber.com.ar> | 2024-01-22 20:53:41 +0000 |
|---|---|---|
| committer | Esteban Küber <esteban@kuber.com.ar> | 2024-01-22 20:53:41 +0000 |
| commit | ac56a2b564a3e15b8377e72294a3d565a1c8c659 (patch) | |
| tree | f42ae59254539e6d9319d666226c1c43740bb507 /compiler/rustc_pattern_analysis/src | |
| parent | 390ef9ba0297ae5ba5aacdf0be0d0c47be8d166a (diff) | |
| download | rust-ac56a2b564a3e15b8377e72294a3d565a1c8c659.tar.gz rust-ac56a2b564a3e15b8377e72294a3d565a1c8c659.zip | |
Suggest boxing if then expr if that solves divergent arms
When encountering
```rust
let _ = if true {
Struct
} else {
foo() // -> Box<dyn Trait>
};
```
if `Struct` implements `Trait`, suggest boxing the then arm tail expression.
Part of #102629.
Diffstat (limited to 'compiler/rustc_pattern_analysis/src')
0 files changed, 0 insertions, 0 deletions