Bugfix: 'can_have_side_effects()' would return 'false' for struct/enum/array/tuple literals unless *all* sub-expressions had side effects. This would easily allow side effects to slip through, and also wrongly label empty literals as having side effects. Add some tests for the last point

This commit is contained in:
Morten Lohne 2023-08-10 01:14:19 +02:00
parent 27a43f0834
commit 75d5f107dd
5 changed files with 62 additions and 6 deletions

View File

@ -1843,7 +1843,7 @@ impl Expr<'_> {
.iter() .iter()
.map(|field| field.expr) .map(|field| field.expr)
.chain(init.into_iter()) .chain(init.into_iter())
.all(|e| e.can_have_side_effects()), .any(|e| e.can_have_side_effects()),
ExprKind::Array(args) ExprKind::Array(args)
| ExprKind::Tup(args) | ExprKind::Tup(args)
@ -1857,7 +1857,7 @@ impl Expr<'_> {
.. ..
}, },
args, args,
) => args.iter().all(|arg| arg.can_have_side_effects()), ) => args.iter().any(|arg| arg.can_have_side_effects()),
ExprKind::If(..) ExprKind::If(..)
| ExprKind::Match(..) | ExprKind::Match(..)
| ExprKind::MethodCall(..) | ExprKind::MethodCall(..)

View File

@ -6,7 +6,6 @@ trait A {
async fn e() { async fn e() {
Ok(()) Ok(())
//~^ ERROR mismatched types //~^ ERROR mismatched types
//~| HELP consider using a semicolon here
} }
} }

View File

@ -2,9 +2,7 @@ error[E0308]: mismatched types
--> $DIR/return-type-suggestion.rs:7:9 --> $DIR/return-type-suggestion.rs:7:9
| |
LL | Ok(()) LL | Ok(())
| ^^^^^^- help: consider using a semicolon here: `;` | ^^^^^^ expected `()`, found `Result<(), _>`
| |
| expected `()`, found `Result<(), _>`
| |
= note: expected unit type `()` = note: expected unit type `()`
found enum `Result<(), _>` found enum `Result<(), _>`

View File

@ -0,0 +1,24 @@
struct S;
enum Age {
Years(i64, i64)
}
fn foo() {
let mut age = 29;
Age::Years({age += 1; age}, 55)
//~^ ERROR mismatched types
}
fn bar() {
let mut age = 29;
Age::Years(age, 55)
//~^ ERROR mismatched types
}
fn baz() {
S
//~^ ERROR mismatched types
}
fn main() {}

View File

@ -0,0 +1,35 @@
error[E0308]: mismatched types
--> $DIR/return-struct.rs:9:5
|
LL | Age::Years({age += 1; age}, 55)
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `()`, found `Age`
|
help: consider using a semicolon here
|
LL | Age::Years({age += 1; age}, 55);
| +
help: try adding a return type
|
LL | fn foo() -> Age {
| ++++++
error[E0308]: mismatched types
--> $DIR/return-struct.rs:15:5
|
LL | fn bar() {
| - help: try adding a return type: `-> Age`
LL | let mut age = 29;
LL | Age::Years(age, 55)
| ^^^^^^^^^^^^^^^^^^^ expected `()`, found `Age`
error[E0308]: mismatched types
--> $DIR/return-struct.rs:20:5
|
LL | fn baz() {
| - help: try adding a return type: `-> S`
LL | S
| ^ expected `()`, found `S`
error: aborting due to 3 previous errors
For more information about this error, try `rustc --explain E0308`.