summary refs log tree commit diff
path: root/src/librustc/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2018-03-29Auto merge of #49313 - sgrif:sg-revert-stuff, r=nikomatsakisbors-5/+2
2018-03-23Revert "introduce `UniverseIndex` into `ParamEnv`"Sean Griffin-5/+2
2018-03-23import trait engine to typeckcsmoe-0/+1
2018-03-23introduce trait engine modcsmoe-1/+2
2018-03-18Auto merge of #48985 - scalexm:lowering, r=nikomatsakisbors-0/+64
2018-03-14Add documentationscalexm-0/+12
2018-03-14Move code into librustc_traitsscalexm-6/+0
2018-03-14Address niko's nitsscalexm-15/+17
2018-03-14Add MVP for chalkificationscalexm-0/+56
2018-03-14Add note about fallback to `!: !Trait` errorAndrew Cann-1/+1
2018-03-13transition various normalization functions to the new methodsNiko Matsakis-1/+4
2018-03-13introduce `infcx.at(..).normalize(..)` operation [VIC]Niko Matsakis-0/+2
2018-03-13refactor `ParamEnv::empty(Reveal)` into two distinct methodsNiko Matsakis-1/+1
2018-03-08Fully use miri in transOliver Schneider-1/+1
2018-03-07Merge branch 'refactor-select' of https://github.com/aravind-pg/rust into upd...Alex Crichton-13/+0
2018-03-04Remove ty::Predicate::Equate and ty::EquatePredicate (dead code)Tatsuyuki Ishi-3/+0
2018-03-03Refactor away `inferred_obligations` from the trait selectorAravind Gollakota-13/+0
2018-03-02Replace Rc with Lrc for shared dataJohn Kåre Alsaker-2/+3
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-1/+3
2018-02-25Change links to readmesMark Mansi-1/+3
2018-02-24Rollup merge of #48296 - ishitatsuyuki:exp-unblow, r=nikomatsakisManish Goregaokar-7/+7
2018-02-23Rollup merge of #48123 - nikomatsakis:issue-47244-expected-num-args, r=estebankManish Goregaokar-1/+1
2018-02-22impl_or_trait_obligations: deduplicate obligationsTatsuyuki Ishi-4/+4
2018-02-22Fix exponential blowup on nested typesTatsuyuki Ishi-3/+3
2018-02-18Generate documentation for auto-trait implsAaron Hill-2/+2
2018-02-17fix more typos found by codespell.Matthias Krüger-1/+1
2018-02-12detect wrong number of args when type-checking a closureNiko Matsakis-1/+1
2018-02-03Auto merge of #47845 - Zoxc:gen-fixes, r=nikomatsakisbors-0/+2
2018-01-29Require yield types to be sizedJohn Kåre Alsaker-0/+2
2018-01-28Point only at method signatures and point at traitEsteban Küber-0/+13
2017-12-27Make normalize_and_test_predicates into a queryBurntPizza-3/+20
2017-12-05convert the new conflicts to a soft errorAriel Ben-Yehuda-1/+2
2017-12-05refactor a bitAriel Ben-Yehuda-0/+6
2017-12-04make `resolve_regions_and_report_errors` take an `OutlivesEnv`Niko Matsakis-3/+7
2017-12-04move `free_regions_map` into `infer::outlives`Niko Matsakis-1/+1
2017-11-30incr.comp.: Make traits::VTable encodable and decodable.Michael Woerister-8/+8
2017-11-25commentsAriel Ben-Yehuda-11/+20
2017-11-25avoid type-live-for-region obligations on dummy nodesAriel Ben-Yehuda-5/+15
2017-11-16Nit: rework region obligations to a snapshotted vectorNiko Matsakis-2/+1
2017-11-16convert TODO in traits into a FIXMENiko Matsakis-5/+8
2017-11-15move the `region_obligations` processing code into `InferCtxt`Niko Matsakis-1/+1
2017-11-15assert that we are consuming all of the region obligationsNiko Matsakis-0/+9
2017-11-15convert EXTRA_REQUIREMENT_IN_IMPL into a hard errorNiko Matsakis-1/+0
2017-11-15move region constraints into inference contextNiko Matsakis-1/+1
2017-11-12rustc_driver: base extern query providers on local ones.Eduard-Mihai Burtescu-11/+0
2017-11-03[Syntax Breaking] Rename DefaultImpl to AutoImplleonardo.yvens-7/+7
2017-10-13Remove export of vtable_methodsJimmy Brisson-1/+1
2017-10-13Wrap vtable_methods return type in RCJimmy Brisson-41/+43
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 01:25:59 +0000