-
Notifications
You must be signed in to change notification settings - Fork 10
Self-referential where-clauses #36
Copy link
Copy link
Open
Labels
A-generic_const_exprsGeneric const expressionsGeneric const expressionsC-design-docsCategory: This is part of our design documentationCategory: This is part of our design documentationK-implDocument Kind: regarding implementationDocument Kind: regarding implementationP-necessaryPriority: will be needed at some pointPriority: will be needed at some pointS-active
Description
Metadata
Metadata
Assignees
Labels
A-generic_const_exprsGeneric const expressionsGeneric const expressionsC-design-docsCategory: This is part of our design documentationCategory: This is part of our design documentationK-implDocument Kind: regarding implementationDocument Kind: regarding implementationP-necessaryPriority: will be needed at some pointPriority: will be needed at some pointS-active
Type
Fields
Give feedbackNo fields configured for issues without a type.
What is this
This is a design document for const generics. Any discussions about its content should be on zulip. The conclusions of these discussions should then be edited back into this issue. Please do not post any comments directly in this issue.
Content
TODO: elaborate