Add test for APIT

This commit is contained in:
Michael Goulet 2022-08-28 04:11:57 +00:00
parent 448c6a4db7
commit 93b7d8d2c5
2 changed files with 23 additions and 3 deletions

View file

@ -1,6 +1,13 @@
fn foo() {
//~^ HELP try adding a return type
|x: &i32| 1i32
//~^ ERROR mismatched types
}
fn bar(i: impl Sized) {
//~^ HELP a return type might be missing here
|| i
//~^ ERROR mismatched types
}
fn main() {}

View file

@ -1,14 +1,27 @@
error[E0308]: mismatched types
--> $DIR/return-closures.rs:2:5
--> $DIR/return-closures.rs:3:5
|
LL | fn foo() {
| - help: try adding a return type: `-> impl for<'r> Fn(&'r i32) -> i32`
LL |
LL | |x: &i32| 1i32
| ^^^^^^^^^^^^^^ expected `()`, found closure
|
= note: expected unit type `()`
found closure `[closure@$DIR/return-closures.rs:2:5: 2:14]`
found closure `[closure@$DIR/return-closures.rs:3:5: 3:14]`
error: aborting due to previous error
error[E0308]: mismatched types
--> $DIR/return-closures.rs:9:5
|
LL | fn bar(i: impl Sized) {
| - help: a return type might be missing here: `-> _`
LL |
LL | || i
| ^^^^ expected `()`, found closure
|
= note: expected unit type `()`
found closure `[closure@$DIR/return-closures.rs:9:5: 9:7]`
error: aborting due to 2 previous errors
For more information about this error, try `rustc --explain E0308`.