about summary refs log tree commit diff
path: root/src/librustc_traits/lib.rs
AgeCommit message (Expand)AuthorLines
2019-04-17Deny `internal` in stage0Mateusz Mikuła-1/+1
2019-04-03Deny internal lints on non conflicting cratesflip1995-0/+1
2019-02-07Transition librustc_traits to 2018 editionHirokazu Hata-7/+3
2018-12-27Integrate chalk enginescalexm-0/+1
2018-12-27Add utilities for creating generic typesscalexm-0/+1
2018-12-25Remove licensesMark Rousskov-10/+0
2018-11-13Provide program clauses for builtin typesscalexm-0/+1
2018-09-27Bump to 1.31.0 and bootstrap from 1.30 betaJosh Stone-3/+1
2018-09-22Stabilize crate_in_paths, extern_absolute_paths and extern_prelude on all edi...Eduard-Mihai Burtescu-2/+2
2018-09-11stabalize infer outlives requirements (RFC 2093).toidiu-1/+0
2018-08-27Auto merge of #53441 - toidiu:ak-fix53419, r=nikomatsakisbors-0/+1
2018-08-25Auto merge of #53385 - matklad:stabilize-find-map, r=KodrAusbors-1/+0
2018-08-24check that adding infer-outlives requirement to all crates worksNiko Matsakis-0/+1
2018-08-23Use optimized SmallVec implementationIgor Gutorov-0/+1
2018-08-15Stablize Iterator::find_mapAleksey Kladov-1/+0
2018-08-09[nll] librustc_traits: enable feature(nll) for bootstrapmemoryruins-0/+1
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