Skip to content

Document top-level defaulting

This ticket tracks the task of documenting the top-level defaulting mechanism (called TypeClassDefaulting in #20686), in particular:

  • defaulting of type-classes
  • defaulting of equalities
  • interaction with NamedDefaults extension
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information