about summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
2018-03-13short-circuit `dropck_outlives` for simple casesNiko Matsakis-2/+72
2018-03-13add some debug outputNiko Matsakis-1/+15
2018-03-13move `drain_fulfillment_cx_or_panic` to be private to traits::transNiko Matsakis-0/+44
2018-03-13transition various normalization functions to the new methodsNiko Matsakis-76/+9
2018-03-13introduce `tcx.normalize_erasing_regions(..)` operaton [VIC]Niko Matsakis-0/+82
2018-03-13introduce `infcx.at(..).dropck_outlives(..)` operaton [VIC]Niko Matsakis-1/+197
2018-03-13introduce `infcx.at(..).normalize(..)` operation [VIC]Niko Matsakis-0/+301
2018-03-13add `canonicalize` method to `InferCtxt` [VIC]Niko Matsakis-6/+9
2018-03-13refactor `ParamEnv::empty(Reveal)` into two distinct methodsNiko Matsakis-10/+7
2018-03-13improve TypeFoldable/Lift macros and make a bunch of stuff use themNiko Matsakis-236/+45
2018-03-08Tidy fixOliver Schneider-1/+2
2018-03-08Add stack traces to miri errorsOliver Schneider-2/+2
2018-03-08Add InterpretInterner to StableHashingContext for AllocId serializationOliver Schneider-2/+2
2018-03-08Fully use miri in transOliver Schneider-8/+6
2018-03-08Prepare for using miri in transAlexander Regueiro-27/+71
2018-03-07Merge branch 'refactor-select' of https://github.com/aravind-pg/rust into upd...Alex Crichton-84/+39
2018-03-07Rollup merge of #48698 - ishitatsuyuki:burn-equate, r=nikomatsakisAlex Crichton-50/+1
2018-03-05Turn features() into a query.Michael Woerister-1/+1
2018-03-04Remove ty::Predicate::Equate and ty::EquatePredicate (dead code)Tatsuyuki Ishi-50/+1
2018-03-03Refactor away `inferred_obligations` from the trait selectorAravind Gollakota-85/+40
2018-03-02Run Rustfix on librustcManish Goregaokar-3/+3
2018-03-02Replace Rc with Lrc for shared dataJohn Kåre Alsaker-7/+8
2018-03-01add universes to type inference variablesNiko Matsakis-7/+21
2018-03-01store type values in the unification table directlyNiko Matsakis-8/+8
2018-03-01introduce `UniverseIndex` into `ParamEnv`Niko Matsakis-2/+5
2018-03-01add some comments to `Obligation`Niko Matsakis-1/+12
2018-02-28Rollup merge of #48479 - mark-i-m:rustc-guide, r=nikomatsakiskennytm-496/+29
2018-02-27Bring back ParamEnv deduplicationTatsuyuki Ishi-2/+5
2018-02-25tidy fixMark Mansi-2/+4
2018-02-25Make comment into a doc comment and change readme refMark Mansi-8/+10
2018-02-25Change links to readmesMark Mansi-6/+17
2018-02-24Rollup merge of #48452 - varkor:unpacked-kind, r=eddybManish Goregaokar-2/+2
2018-02-24Rollup merge of #48296 - ishitatsuyuki:exp-unblow, r=nikomatsakisManish Goregaokar-118/+128
2018-02-24Rollup merge of #48246 - estebank:ice, r=nikomatsakisManish Goregaokar-1/+14
2018-02-23Start moving to the rustc guide!Mark Mansi-482/+0
2018-02-23Rollup merge of #48123 - nikomatsakis:issue-47244-expected-num-args, r=estebankManish Goregaokar-8/+36
2018-02-23Introduce UnpackedKindvarkor-2/+2
2018-02-22impl_or_trait_obligations: deduplicate obligationsTatsuyuki Ishi-6/+13
2018-02-22Fix exponential blowup on nested typesTatsuyuki Ishi-101/+114
2018-02-22Remove needless dedup from projectionTatsuyuki Ishi-10/+0
2018-02-22Revert "Implement Ord as necessary"Tatsuyuki Ishi-1/+1
2018-02-18Cleanup formattingAaron Hill-3/+3
2018-02-18Fix merge conflictsAaron Hill-1/+1
2018-02-18Generate documentation for auto-trait implsAaron Hill-3/+36
2018-02-17fix more typos found by codespell.Matthias Krüger-2/+2
2018-02-15Avoid ICE in arg mistmatch error for tuple variantsEsteban Küber-1/+14
2018-02-13Auto merge of #47804 - retep007:recursive-requirements, r=pnkfelixbors-9/+31
2018-02-12detect wrong number of args when type-checking a closureNiko Matsakis-8/+36
2018-02-10Rollup merge of #48047 - etaoins:fix-ice-for-mismatched-args-on-target-withou...kennytm-44/+49
2018-02-07Rollup merge of #47613 - estebank:rustc_on_unimplemented, r=nikomatsakisManish Goregaokar-18/+53