Code

Upgrade Chalk#72936

Code

Merged

bors merged 15 commits intorust-lang:masterrust-lang/rust:masterfrom

jackh726:chalk-morejackh726/rust:chalk-moreCopy head branch name to clipboard

Jun 21, 2020

Commits

Commits on Jun 19, 2020

• Add compare-mode=chalk and add a little bit more implementations and fixmes

  jackh726

  committed
  006b482

  Copy full SHA for 006b482

• Update chalk

  jackh726

  committed
  16dd584

  Copy full SHA for 16dd584

• Update chalk

  jackh726

  committed
  6aa2e9d

  Copy full SHA for 6aa2e9d

• Use builtin types for Never, Array, and FnDef

  jackh726

  committed
  7c09ad0

  Copy full SHA for 7c09ad0

• Implement fn_def_datum

  jackh726

  committed
  a42e5a1

  Copy full SHA for a42e5a1

• Remove RustDefId

  jackh726

  committed
  d0ad15d

  Copy full SHA for d0ad15d

• Test error order is non-deterministic

  jackh726

  committed
  e997375

  Copy full SHA for e997375

• Update Chalk

  jackh726

  committed
  90e01ee

  Copy full SHA for 90e01ee

• Update chalk and add LifetimeOutlives and ObjectSafe lowering

  jackh726

  committed
  64c486b

  Copy full SHA for 64c486b

• Lower consts

  jackh726

  committed
  6a979d8

  Copy full SHA for 6a979d8

• Fix building

  jackh726

  committed
  a1c769b

  Copy full SHA for a1c769b

• Update chalk to 0.11.0

  jackh726

  committed
  b5d5994

  Copy full SHA for b5d5994

• Nits and change skip_binder to no_bound_vars for fndef

  jackh726

  committed
  16ad3f3

  Copy full SHA for 16ad3f3

• Change InternedAdtDef to &'tcx AdtDef

  jackh726

  committed
  890cef6

  Copy full SHA for 890cef6

• Return type is bound too

  jackh726

  committed
  d63195b

  Copy full SHA for d63195b