summary refs log tree commit diff
path: root/src/librustc_traits
AgeCommit message (Collapse)AuthorLines
2018-04-27improved debug outputNiko Matsakis-0/+2
2018-03-29Stabilize underscore lifetimesTaylor Cramer-1/+1
2018-03-28Stabilize match_default_bindingsTaylor Cramer-1/+1
This includes a submodule update to rustfmt in order to allow a stable feature declaration.
2018-03-27Auto merge of #49202 - csmoe:trait_engine, r=nikomatsakisbors-1/+1
Introduce trait engine address #48895 step 1: introduce trait engine
2018-03-23Rollup merge of #49030 - Zoxc:misc, r=michaelwoeristerAlex Crichton-4/+4
Misc changes from my parallel rustc branch r? @michaelwoerister
2018-03-23import trait engine to typeckcsmoe-1/+1
2018-03-20Implement Rule Implemented-From-Envvarkor-0/+32
This extends the Chalk lowering pass with the "Implemented-From-Env" rule for generating program clauses from a trait definition as part of #49177.
2018-03-20Improve comments for Rule Implemented-From-Implvarkor-4/+13
2018-03-18Auto merge of #48985 - scalexm:lowering, r=nikomatsakisbors-0/+186
MVP for chalkification r? @nikomatsakis
2018-03-17Replace Rc with LrcJohn Kåre Alsaker-4/+4
2018-03-15Fix tidyAlexandre Martin-1/+1
2018-03-15add xref to rust-guideNiko Matsakis-0/+4
2018-03-14Add documentationscalexm-0/+12
2018-03-14Move code into librustc_traitsscalexm-0/+170
2018-03-14Fixes after rebaseAndrew Cann-1/+1
2018-03-13add a debug assertion that only outlives-oblig. result from norm.Niko Matsakis-7/+32
2018-03-13introduce `tcx.normalize_erasing_regions(..)` operaton [VIC]Niko Matsakis-0/+41
2018-03-13introduce `infcx.at(..).dropck_outlives(..)` operaton [VIC]Niko Matsakis-0/+288
Backed by a canonicalized query. This computes all the types/regions that need to be live when the destructor runs (i.e., that the dtor may access).
2018-03-13introduce `infcx.at(..).normalize(..)` operation [VIC]Niko Matsakis-0/+227
It is backed by the new `normalize_projection_ty` query, which uses canonicalization.