summary refs log tree commit diff
path: root/src/librustc/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2018-04-26Remove the stored obligation in OverflowError to simplify thingsAravind Gollakota-2/+1
2018-04-26Introduce trait query mode and use it to set overflow error handling policy i...Aravind Gollakota-0/+13
2018-04-26Port existing callers of `evaluate_obligation` to the new canonical trait queryAravind Gollakota-2/+1
2018-04-26Create a canonical trait query for `evaluate_obligation`Aravind Gollakota-1/+1
2018-04-26Refactor overflow handling in traits::select to propagate overflow instead of...Aravind Gollakota-0/+2
2018-04-24Remove methods with implicit Binder::skip_boundTyler Mandry-4/+7
2018-04-24Make Binder's field private and clean up its usageTyler Mandry-2/+2
2018-04-23eliminate the `Lrc` of a slice and just return the sliceNiko Matsakis-2/+7
2018-04-23add `Goal::CannotProve` and extract `ProgramClause` structNiko Matsakis-1/+2
2018-04-15Implement Chalk lowering rule Normalize-From-ImplFabian Zaiser-0/+1
2018-04-12traits: Implement interning for Goal and ClauseTatsuyuki Ishi-20/+21
2018-04-05Rollup merge of #49497 - scalexm:hrtb, r=nikomatsakisAlex Crichton-7/+28
2018-03-30Tweak `Clause` definition and HRTBsscalexm-7/+28
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-11 17:33:46 +0000