mathieu/granite-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Use separate files instead of revisions

Browse source
This commit is contained in:
Michael Goulet 2022-12-22 17:51:45 +00:00
parent 2f5334dff2
commit 51ba7b4e43
4 changed files with 37 additions and 24 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
src/test/ui/generator/unresolved-ct-var-drop-tracking.rs Normal file
View file

@ -0,0 +1,15 @@
// incremental
// edition:2021
// compile-flags: -Zdrop-tracking
fn main() {
let _ = async {
let s = std::array::from_fn(|_| ()).await;
//~^ ERROR `[(); _]` is not a future
//~| ERROR type inside `async` block must be known in this context
//~| ERROR type inside `async` block must be known in this context
//~| ERROR type inside `async` block must be known in this context
//~| ERROR type inside `async` block must be known in this context
//~| ERROR type inside `async` block must be known in this context
};
}

22
src/test/ui/generator/unresolved-ct-var.stock.stderr → src/test/ui/generator/unresolved-ct-var-drop-tracking.stderr
View file

@ -1,5 +1,5 @@
error[E0277]: `[(); _]` is not a future error[E0277]: `[(); _]` is not a future
--> $DIR/unresolved-ct-var.rs:8:44 --> $DIR/unresolved-ct-var-drop-tracking.rs:7:44
| |
LL | let s = std::array::from_fn(|_| ()).await; LL | let s = std::array::from_fn(|_| ()).await;
| ---------------------------^^^^^^ | ---------------------------^^^^^^
@ -13,61 +13,61 @@ LL | let s = std::array::from_fn(|_| ()).await;
= note: required for `[(); _]` to implement `IntoFuture` = note: required for `[(); _]` to implement `IntoFuture`
error[E0698]: type inside `async` block must be known in this context error[E0698]: type inside `async` block must be known in this context
--> $DIR/unresolved-ct-var.rs:8:17 --> $DIR/unresolved-ct-var-drop-tracking.rs:7:17
| |
LL | let s = std::array::from_fn(|_| ()).await; LL | let s = std::array::from_fn(|_| ()).await;
| ^^^^^^^^^^^^^^^^^^^ cannot infer the value of const parameter `N` declared on the function `from_fn` | ^^^^^^^^^^^^^^^^^^^ cannot infer the value of const parameter `N` declared on the function `from_fn`
| |
note: the type is part of the `async` block because of this `await` note: the type is part of the `async` block because of this `await`
--> $DIR/unresolved-ct-var.rs:8:44 --> $DIR/unresolved-ct-var-drop-tracking.rs:7:44
| |
LL | let s = std::array::from_fn(|_| ()).await; LL | let s = std::array::from_fn(|_| ()).await;
| ^^^^^^ | ^^^^^^
error[E0698]: type inside `async` block must be known in this context error[E0698]: type inside `async` block must be known in this context
--> $DIR/unresolved-ct-var.rs:8:17 --> $DIR/unresolved-ct-var-drop-tracking.rs:7:17
| |
LL | let s = std::array::from_fn(|_| ()).await; LL | let s = std::array::from_fn(|_| ()).await;
| ^^^^^^^^^^^^^^^^^^^ cannot infer the value of const parameter `N` declared on the function `from_fn` | ^^^^^^^^^^^^^^^^^^^ cannot infer the value of const parameter `N` declared on the function `from_fn`
| |
note: the type is part of the `async` block because of this `await` note: the type is part of the `async` block because of this `await`
--> $DIR/unresolved-ct-var.rs:8:44 --> $DIR/unresolved-ct-var-drop-tracking.rs:7:44
| |
LL | let s = std::array::from_fn(|_| ()).await; LL | let s = std::array::from_fn(|_| ()).await;
| ^^^^^^ | ^^^^^^
error[E0698]: type inside `async` block must be known in this context error[E0698]: type inside `async` block must be known in this context
--> $DIR/unresolved-ct-var.rs:8:17 --> $DIR/unresolved-ct-var-drop-tracking.rs:7:17
| |
LL | let s = std::array::from_fn(|_| ()).await; LL | let s = std::array::from_fn(|_| ()).await;
| ^^^^^^^^^^^^^^^^^^^ cannot infer the value of const parameter `N` declared on the function `from_fn` | ^^^^^^^^^^^^^^^^^^^ cannot infer the value of const parameter `N` declared on the function `from_fn`
| |
note: the type is part of the `async` block because of this `await` note: the type is part of the `async` block because of this `await`
--> $DIR/unresolved-ct-var.rs:8:44 --> $DIR/unresolved-ct-var-drop-tracking.rs:7:44
| |
LL | let s = std::array::from_fn(|_| ()).await; LL | let s = std::array::from_fn(|_| ()).await;
| ^^^^^^ | ^^^^^^
error[E0698]: type inside `async` block must be known in this context error[E0698]: type inside `async` block must be known in this context
--> $DIR/unresolved-ct-var.rs:8:17 --> $DIR/unresolved-ct-var-drop-tracking.rs:7:17
| |
LL | let s = std::array::from_fn(|_| ()).await; LL | let s = std::array::from_fn(|_| ()).await;
| ^^^^^^^^^^^^^^^^^^^ cannot infer the value of const parameter `N` declared on the function `from_fn` | ^^^^^^^^^^^^^^^^^^^ cannot infer the value of const parameter `N` declared on the function `from_fn`
| |
note: the type is part of the `async` block because of this `await` note: the type is part of the `async` block because of this `await`
--> $DIR/unresolved-ct-var.rs:8:44 --> $DIR/unresolved-ct-var-drop-tracking.rs:7:44
| |
LL | let s = std::array::from_fn(|_| ()).await; LL | let s = std::array::from_fn(|_| ()).await;
| ^^^^^^ | ^^^^^^
error[E0698]: type inside `async` block must be known in this context error[E0698]: type inside `async` block must be known in this context
--> $DIR/unresolved-ct-var.rs:8:17 --> $DIR/unresolved-ct-var-drop-tracking.rs:7:17
| |
LL | let s = std::array::from_fn(|_| ()).await; LL | let s = std::array::from_fn(|_| ()).await;
| ^^^^^^^^^^^^^^^^^^^ cannot infer the value of const parameter `N` declared on the function `from_fn` | ^^^^^^^^^^^^^^^^^^^ cannot infer the value of const parameter `N` declared on the function `from_fn`
| |
note: the type is part of the `async` block because of this `await` note: the type is part of the `async` block because of this `await`
--> $DIR/unresolved-ct-var.rs:8:44 --> $DIR/unresolved-ct-var-drop-tracking.rs:7:44
| |
LL | let s = std::array::from_fn(|_| ()).await; LL | let s = std::array::from_fn(|_| ()).await;
| ^^^^^^ | ^^^^^^

2
src/test/ui/generator/unresolved-ct-var.rs
View file

@ -1,7 +1,5 @@
// incremental // incremental
// edition:2021 // edition:2021
// revisions: drop_tracking stock
//[drop_tracking] compile-flags: -Zdrop-tracking
fn main() { fn main() {
let _ = async { let _ = async {

22
src/test/ui/generator/unresolved-ct-var.drop_tracking.stderr → src/test/ui/generator/unresolved-ct-var.stderr
View file

@ -1,5 +1,5 @@
error[E0277]: `[(); _]` is not a future error[E0277]: `[(); _]` is not a future
--> $DIR/unresolved-ct-var.rs:8:44 --> $DIR/unresolved-ct-var.rs:6:44
| |
LL | let s = std::array::from_fn(|_| ()).await; LL | let s = std::array::from_fn(|_| ()).await;
| ---------------------------^^^^^^ | ---------------------------^^^^^^
@ -13,61 +13,61 @@ LL | let s = std::array::from_fn(|_| ()).await;
= note: required for `[(); _]` to implement `IntoFuture` = note: required for `[(); _]` to implement `IntoFuture`
error[E0698]: type inside `async` block must be known in this context error[E0698]: type inside `async` block must be known in this context
--> $DIR/unresolved-ct-var.rs:8:17 --> $DIR/unresolved-ct-var.rs:6:17
| |
LL | let s = std::array::from_fn(|_| ()).await; LL | let s = std::array::from_fn(|_| ()).await;
| ^^^^^^^^^^^^^^^^^^^ cannot infer the value of const parameter `N` declared on the function `from_fn` | ^^^^^^^^^^^^^^^^^^^ cannot infer the value of const parameter `N` declared on the function `from_fn`
| |
note: the type is part of the `async` block because of this `await` note: the type is part of the `async` block because of this `await`
--> $DIR/unresolved-ct-var.rs:8:44 --> $DIR/unresolved-ct-var.rs:6:44
| |
LL | let s = std::array::from_fn(|_| ()).await; LL | let s = std::array::from_fn(|_| ()).await;
| ^^^^^^ | ^^^^^^
error[E0698]: type inside `async` block must be known in this context error[E0698]: type inside `async` block must be known in this context
--> $DIR/unresolved-ct-var.rs:8:17 --> $DIR/unresolved-ct-var.rs:6:17
| |
LL | let s = std::array::from_fn(|_| ()).await; LL | let s = std::array::from_fn(|_| ()).await;
| ^^^^^^^^^^^^^^^^^^^ cannot infer the value of const parameter `N` declared on the function `from_fn` | ^^^^^^^^^^^^^^^^^^^ cannot infer the value of const parameter `N` declared on the function `from_fn`
| |
note: the type is part of the `async` block because of this `await` note: the type is part of the `async` block because of this `await`
--> $DIR/unresolved-ct-var.rs:8:44 --> $DIR/unresolved-ct-var.rs:6:44
| |
LL | let s = std::array::from_fn(|_| ()).await; LL | let s = std::array::from_fn(|_| ()).await;
| ^^^^^^ | ^^^^^^
error[E0698]: type inside `async` block must be known in this context error[E0698]: type inside `async` block must be known in this context
--> $DIR/unresolved-ct-var.rs:8:17 --> $DIR/unresolved-ct-var.rs:6:17
| |
LL | let s = std::array::from_fn(|_| ()).await; LL | let s = std::array::from_fn(|_| ()).await;
| ^^^^^^^^^^^^^^^^^^^ cannot infer the value of const parameter `N` declared on the function `from_fn` | ^^^^^^^^^^^^^^^^^^^ cannot infer the value of const parameter `N` declared on the function `from_fn`
| |
note: the type is part of the `async` block because of this `await` note: the type is part of the `async` block because of this `await`
--> $DIR/unresolved-ct-var.rs:8:44 --> $DIR/unresolved-ct-var.rs:6:44
| |
LL | let s = std::array::from_fn(|_| ()).await; LL | let s = std::array::from_fn(|_| ()).await;
| ^^^^^^ | ^^^^^^
error[E0698]: type inside `async` block must be known in this context error[E0698]: type inside `async` block must be known in this context
--> $DIR/unresolved-ct-var.rs:8:17 --> $DIR/unresolved-ct-var.rs:6:17
| |
LL | let s = std::array::from_fn(|_| ()).await; LL | let s = std::array::from_fn(|_| ()).await;
| ^^^^^^^^^^^^^^^^^^^ cannot infer the value of const parameter `N` declared on the function `from_fn` | ^^^^^^^^^^^^^^^^^^^ cannot infer the value of const parameter `N` declared on the function `from_fn`
| |
note: the type is part of the `async` block because of this `await` note: the type is part of the `async` block because of this `await`
--> $DIR/unresolved-ct-var.rs:8:44 --> $DIR/unresolved-ct-var.rs:6:44
| |
LL | let s = std::array::from_fn(|_| ()).await; LL | let s = std::array::from_fn(|_| ()).await;
| ^^^^^^ | ^^^^^^
error[E0698]: type inside `async` block must be known in this context error[E0698]: type inside `async` block must be known in this context
--> $DIR/unresolved-ct-var.rs:8:17 --> $DIR/unresolved-ct-var.rs:6:17
| |
LL | let s = std::array::from_fn(|_| ()).await; LL | let s = std::array::from_fn(|_| ()).await;
| ^^^^^^^^^^^^^^^^^^^ cannot infer the value of const parameter `N` declared on the function `from_fn` | ^^^^^^^^^^^^^^^^^^^ cannot infer the value of const parameter `N` declared on the function `from_fn`
| |
note: the type is part of the `async` block because of this `await` note: the type is part of the `async` block because of this `await`
--> $DIR/unresolved-ct-var.rs:8:44 --> $DIR/unresolved-ct-var.rs:6:44
| |
LL | let s = std::array::from_fn(|_| ()).await; LL | let s = std::array::from_fn(|_| ()).await;
| ^^^^^^ | ^^^^^^