summary refs log tree commit diff
path: root/src/librustc_traits/lib.rs
AgeCommit message (Expand)AuthorLines
2018-07-25Deny bare_trait_objects globallyTatsuyuki Ishi-2/+0
2018-07-21Convert implied_outlives_bounds to a queryTyler Mandry-0/+2
2018-07-12Deny bare trait objects in the rest of rustljedrz-0/+2
2018-06-27move into `provide` methodsNiko Matsakis-18/+6
2018-06-27merge all the `type_op_foo` modules into one as they are so trivialNiko Matsakis-11/+8
2018-06-26introduce `Normalizable` trait for things directly normalizableNiko Matsakis-0/+5
2018-06-26convert `prove_predicate` into a queryNiko Matsakis-0/+2
2018-06-26make `Subtype` a true queryNiko Matsakis-0/+2
2018-06-26make `Eq` a true queryNiko Matsakis-0/+2
2018-06-26move `make_query_response` into method on infcxNiko Matsakis-1/+0
2018-06-14rustc: rename ty::maps to ty::query.Eduard-Mihai Burtescu-1/+1
2018-06-01Update recursion limitsJohn Kåre Alsaker-0/+2
2018-05-24implement the chalk traits, albeit with many placeholdersNiko Matsakis-0/+5
2018-05-15Generalise more cases of explicit iteration of specific kindsvarkor-0/+1
2018-04-26Create a canonical trait query for `evaluate_obligation`Aravind Gollakota-0/+2
2018-04-23first draft of `program_clauses_for_env`Niko Matsakis-0/+1
2018-04-08Move deny(warnings) into rustbuildMark Simulacrum-2/+0
2018-04-05Bump the bootstrap compiler to 1.26.0 betaAlex Crichton-2/+0
2018-03-29Stabilize underscore lifetimesTaylor Cramer-1/+1
2018-03-28Stabilize match_default_bindingsTaylor Cramer-1/+1
2018-03-14Move code into librustc_traitsscalexm-0/+2
2018-03-13introduce `tcx.normalize_erasing_regions(..)` operaton [VIC]Niko Matsakis-0/+4
2018-03-13introduce `infcx.at(..).dropck_outlives(..)` operaton [VIC]Niko Matsakis-0/+3
2018-03-13introduce `infcx.at(..).normalize(..)` operation [VIC]Niko Matsakis-0/+37