Labels

• A-eval-bounds

  Const evaluatability bounds
• A-generic-exprs

  Generic const expressions
• A-param-types

  Const parameter types
• A-unification

  Unifying constants in the type system
• C-design-docs

  Category: This is part of our design documentation
• C-use-case

  Category: This is a use case for a feature
• K-behavior

  Document Kind: regarding user visible behavior
• K-impl

  Document Kind: regarding implementation
• K-solution

  Document Kind: elaborating a solution
• P-necessary

  Priority: will be needed at some point
• P-optional

  Priority: not strictly required
• S-active
• S-blocked