-
Notifications
You must be signed in to change notification settings - Fork 13.9k
Closed
Labels
A-diagnosticsArea: Messages for errors, warnings, and lintsArea: Messages for errors, warnings, and lintsD-papercutDiagnostics: An error or lint that needs small tweaks.Diagnostics: An error or lint that needs small tweaks.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.
Description
- Type parameters are the only kind of generic parameters. You can't have
const N: usizeas the self type of a trait bound, so it never winds up intypesso we'll never wind up putting const generics in the finalgenericsstring. playground (runtest)- Type parameters are always used in the self type of a trait bound. This was not true on stable until very recently when we made
T: ?Sizedbe sugar forT: MetaSized. You can still observe this with therustc_no_implicit_boundsattr: playground (runtest). Also this means that right nowT: ?Sizedon stable gets re-sugared asT: MetaSizedwhich is wrong
Originally posted by @BoxyUwU in #145929 (review)
Metadata
Metadata
Assignees
Labels
A-diagnosticsArea: Messages for errors, warnings, and lintsArea: Messages for errors, warnings, and lintsD-papercutDiagnostics: An error or lint that needs small tweaks.Diagnostics: An error or lint that needs small tweaks.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.