Open
Description
type FOO = fn() -> _;
fn main() {}
produces (playground link):
error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> src/main.rs:1:21
|
1 | type FOO = fn() -> _;
| ^
| |
| not allowed in type signatures
| help: use type parameters instead: `T`
error[E0121]: the type placeholder `_` is not allowed within types on item signatures
--> src/main.rs:1:21
|
1 | type FOO = fn() -> _;
| ^ not allowed in type signatures
error: aborting due to 2 previous errors
Metadata
Metadata
Assignees
Labels
Area: Messages for errors, warnings, and lintsArea: Type systemCategory: An issue proposing an enhancement or a PR with one.Diagnostics: Inconsistency in formatting, grammar or style between diagnostic messages.Diagnostics: Too much output caused by a single piece of incorrect code.Relevant to the compiler team, which will review and decide on the PR/issue.Relevant to the types team, which will review and decide on the PR/issue.