diff options
| author | Oli Scherer <github333195615777966@oli-obk.de> | 2025-06-06 09:28:25 +0000 |
|---|---|---|
| committer | Oli Scherer <github333195615777966@oli-obk.de> | 2025-06-27 07:51:38 +0000 |
| commit | c51f05be3094651711072e43bacac47cf7426be9 (patch) | |
| tree | c266a49e76e1e7f41266cdf7548a986603ef17f1 /tests/ui/async-await/issues/issue-95307.rs | |
| parent | df32e15c56f582eb2bdde07711af6271f2ae660b (diff) | |
| download | rust-c51f05be3094651711072e43bacac47cf7426be9.tar.gz rust-c51f05be3094651711072e43bacac47cf7426be9.zip | |
Report infer ty errors during hir ty lowering
This centralizes the placeholder type error reporting in one location, but it also exposes the granularity at which we convert things from hir to ty more. E.g. previously infer types in where bounds were errored together with the function signature, but now they are independent.
Diffstat (limited to 'tests/ui/async-await/issues/issue-95307.rs')
| -rw-r--r-- | tests/ui/async-await/issues/issue-95307.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tests/ui/async-await/issues/issue-95307.rs b/tests/ui/async-await/issues/issue-95307.rs index 83df65612b4..40905c239c3 100644 --- a/tests/ui/async-await/issues/issue-95307.rs +++ b/tests/ui/async-await/issues/issue-95307.rs @@ -5,7 +5,10 @@ pub trait C { async fn new() -> [u8; _]; - //~^ ERROR: the placeholder `_` is not allowed within types on item signatures for functions + //~^ ERROR: the placeholder `_` is not allowed within types on item signatures for opaque types + //~| ERROR: the placeholder `_` is not allowed within types on item signatures for opaque types + //~| ERROR: the placeholder `_` is not allowed within types on item signatures for opaque types + //~| ERROR: the placeholder `_` is not allowed within types on item signatures for opaque types } fn main() {} |