Code

Make formality core reusable#149

Code

Merged

nikomatsakis merged 8 commits intorust-lang:mainrust-lang/a-mir-formality:mainfrom nikomatsakis:reusablenikomatsakis/a-mir-formality-ndm:reusableCopy head branch name to clipboardOct 31, 2023

+2,252-1,468

Commits

Commits on Oct 30, 2023

• start moving core to formality-core

  nikomatsakis

  committed
  913563e

• create formality-core with the core binding logic

  nikomatsakis

  committed
  1448e59

Commits on Oct 31, 2023

• re-export macros

  nikomatsakis

  committed
  ac11606

• use macros from formality_core in formality_types

  nikomatsakis

  committed
  3efecc6

• remove derive_links from formality_core

  nikomatsakis

  committed
  5c42c9c

• rename coretraits to CoreX

  nikomatsakis

  committed
  e5660f7

• change over to using formality-core

  nikomatsakis

  committed
  5e164d7

• author some docs

  nikomatsakis

  committed
  75fd52f