Upgrade Chalk - #72936

Merged

bors merged 15 commits into

rust-lang:masterfrom

jackh726:chalk-more

Jun 21, 2020

Commits on Jun 19, 2020

Add compare-mode=chalk and add a little bit more implementations and fixmes
jackh726
committed
006b482
Update chalk
jackh726
committed
16dd584
Update chalk
jackh726
committed
6aa2e9d
Use builtin types for Never, Array, and FnDef
jackh726
committed
7c09ad0
Implement fn_def_datum
jackh726
committed
a42e5a1
Remove RustDefId
jackh726
committed
d0ad15d
Test error order is non-deterministic
jackh726
committed
e997375
Update Chalk
jackh726
committed
90e01ee
Update chalk and add LifetimeOutlives and ObjectSafe lowering
jackh726
committed
64c486b
Lower consts
jackh726
committed
6a979d8
Fix building
jackh726
committed
a1c769b
Update chalk to 0.11.0
jackh726
committed
b5d5994
Nits and change skip_binder to no_bound_vars for fndef
jackh726
committed
16ad3f3
Change InternedAdtDef to &'tcx AdtDef
jackh726
committed
890cef6
Return type is bound too
jackh726
committed
d63195b