rust/tests/ui/impl-trait/issues/issue-78722-2.stderr

error[E0308]: mismatched types
  --> $DIR/issue-78722-2.rs:16:20
   |
LL | type F = impl core::future::Future<Output = u8>;
   |          -------------------------------------- the expected future
...
LL |         let f: F = async { 1 };
   |                -   ^^^^^^^^^^^ expected future, found `async` block
   |                |
   |                expected due to this
   |
   = note: expected opaque type `F`
            found `async` block `{async block@$DIR/issue-78722-2.rs:16:20: 16:25}`

error[E0271]: expected `{async block@$DIR/issue-78722-2.rs:13:13: 13:18}` to be a future that resolves to `u8`, but it resolves to `()`
  --> $DIR/issue-78722-2.rs:11:30
   |
LL |         fn concrete_use() -> F {
   |                              ^ expected `u8`, found `()`

error: aborting due to 2 previous errors

Some errors have detailed explanations: E0271, E0308.
For more information about an error, try `rustc --explain E0271`.
Make `DefiningAnchor::Bind` only store the opaque types that may be constrained, instead of the current infcx root item. This makes `Bind` almost always be empty, so we can start forwarding it to queries, allowing us to remove `Bubble` entirely 2024-02-29 06:21:20 -06:00			`error[E0308]: mismatched types`
			`--> $DIR/issue-78722-2.rs:16:20`
Require TAITs to be mentioned in the signatures of functions that register hidden types for them 2023-06-15 04:41:14 -05:00			`\|`
Make `DefiningAnchor::Bind` only store the opaque types that may be constrained, instead of the current infcx root item. This makes `Bind` almost always be empty, so we can start forwarding it to queries, allowing us to remove `Bubble` entirely 2024-02-29 06:21:20 -06:00			`LL \| type F = impl core::future::Future<Output = u8>;`
			`\| -------------------------------------- the expected future`
			`...`
Require TAITs to be mentioned in the signatures of functions that register hidden types for them 2023-06-15 04:41:14 -05:00			`LL \| let f: F = async { 1 };`
Make `DefiningAnchor::Bind` only store the opaque types that may be constrained, instead of the current infcx root item. This makes `Bind` almost always be empty, so we can start forwarding it to queries, allowing us to remove `Bubble` entirely 2024-02-29 06:21:20 -06:00			\| - ^^^^^^^^^^^ expected future, found `async` block
			`\| \|`
			`\| expected due to this`
Require TAITs to be mentioned in the signatures of functions that register hidden types for them 2023-06-15 04:41:14 -05:00			`\|`
Make `DefiningAnchor::Bind` only store the opaque types that may be constrained, instead of the current infcx root item. This makes `Bind` almost always be empty, so we can start forwarding it to queries, allowing us to remove `Bubble` entirely 2024-02-29 06:21:20 -06:00			= note: expected opaque type `F`
Tighten spans for async blocks 2024-06-27 13:56:57 -05:00			found `async` block `{async block@$DIR/issue-78722-2.rs:16:20: 16:25}`
Reorder `check_item_type` diagnostics so they occur next to the corresponding `check_well_formed` diagnostics 2023-10-26 06:36:49 -05:00
Bless ui tests. 2024-08-21 19:55:09 -05:00			error[E0271]: expected `{async block@$DIR/issue-78722-2.rs:13:13: 13:18}` to be a future that resolves to `u8`, but it resolves to `()`
			`--> $DIR/issue-78722-2.rs:11:30`
			`\|`
			`LL \| fn concrete_use() -> F {`
Stop inverting expectation in normalization errors 2024-10-16 12:44:56 -05:00			\| ^ expected `u8`, found `()`
Bless ui tests. 2024-08-21 19:55:09 -05:00
Make `DefiningAnchor::Bind` only store the opaque types that may be constrained, instead of the current infcx root item. This makes `Bind` almost always be empty, so we can start forwarding it to queries, allowing us to remove `Bubble` entirely 2024-02-29 06:21:20 -06:00			`error: aborting due to 2 previous errors`
Require TAITs to be mentioned in the signatures of functions that register hidden types for them 2023-06-15 04:41:14 -05:00
Make `DefiningAnchor::Bind` only store the opaque types that may be constrained, instead of the current infcx root item. This makes `Bind` almost always be empty, so we can start forwarding it to queries, allowing us to remove `Bubble` entirely 2024-02-29 06:21:20 -06:00			`Some errors have detailed explanations: E0271, E0308.`
Require TAITs to be mentioned in the signatures of functions that register hidden types for them 2023-06-15 04:41:14 -05:00			For more information about an error, try `rustc --explain E0271`.