Implement the new-style trait solver - #56384

Merged

bors merged 19 commits into

rust-lang:masterfrom

Dec 27, 2018

Commits on Dec 27, 2018

Implement `is_coinductive`
scalexm
committed
9b87f59
Implement "lifetime juggling" methods from chalk integration trait
scalexm
committed
69007bd
Add a def-id in `ty::ParamEnv`
scalexm
committed
50f8ae3
Fix `visit_ex_clause_with`
scalexm
committed
37ef0c3
Correctly lift empty lists of clauses and goals
scalexm
committed
8cadd59
Return an instantiated environment instead of a generic one
scalexm
committed
ec73624
Add utilities for creating generic types
scalexm
committed
7b8da79
Rename functions giving WF clauses for builtin types
scalexm
committed
6f488b9
Add builtin impls for `Sized` in `chalk_context::program_clauses`
scalexm
committed
dfcad82
Fix `Sized` requirement for empty tuples in `program_clauses`
scalexm
committed
e5992e7
Fix replacement of escaping bound types
scalexm
committed
c0d7803
Fix binding levels in implied bounds rules
scalexm
committed
ea4187a
Integrate chalk engine
scalexm
committed
ba6314a
Handle sub-typing in chalk-engine
scalexm
committed
da9467d
Use `TraitEngine` in `enter_canonical_trait_query`
scalexm
committed
26e0ea8
Add `wf_clause_for_fn_def`
scalexm
committed
8e2bdaa
Fix `tcx.environment` for inherent impls
scalexm
committed
3790f08
Add tests
scalexm
committed
81d6f9c
Set a `def_id` in `ParamEnv` only with `-Z chalk`
scalexm
committed
993d213