-
Notifications
You must be signed in to change notification settings - Fork 13.6k
Closed
Labels
A-const-genericsArea: const generics (parameters and arguments)Area: const generics (parameters and arguments)F-adt_const_params`#![feature(adt_const_params)]``#![feature(adt_const_params)]`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.T-typesRelevant to the types team, which will review and decide on the PR/issue.Relevant to the types team, which will review and decide on the PR/issue.
Description
currently there is no restriction on const parameter types having to be sized, although it is impossible to provide any arguments to a parameter such as const N: [u8]
because type checking { [1; 2] as [u8] }
will fail as [u8]
is not Sized
. We should figure out if we want to find some way to allow !Sized const generics to work or if we want to explicitly forbid them (although if we do we should not add Sized
as a supertrait of ConstParamTy
as that would make it impossible to ever allow !Sized
const parameter types)
Metadata
Metadata
Assignees
Labels
A-const-genericsArea: const generics (parameters and arguments)Area: const generics (parameters and arguments)F-adt_const_params`#![feature(adt_const_params)]``#![feature(adt_const_params)]`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.T-typesRelevant to the types team, which will review and decide on the PR/issue.Relevant to the types team, which will review and decide on the PR/issue.