summary refs log tree commit diff
path: root/src/librustc/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2018-06-14rustc: rename ty::maps to ty::query.Eduard-Mihai Burtescu-2/+2
2018-06-08Reenable trivial boundsMatthew Jasper-5/+0
2018-05-24implement the chalk traits, albeit with many placeholdersNiko Matsakis-1/+61
2018-05-22Auto merge of #50876 - matthewjasper:rollback-trivial-bounds, r=nikomatsakisbors-0/+5
2018-05-21rustc: move TypeParamDef's fields into GenericParamDefKind::Type.Eduard-Mihai Burtescu-1/+1
2018-05-18Filter global bounds from ParamEnv again.Matthew Jasper-0/+5
2018-05-17Rename trans to codegen everywhere.Irina Popa-5/+5
2018-05-16Auto merge of #48557 - matthewjasper:allow-trvial-bounds, r=nikomatsakisbors-9/+3
2018-05-15Add mk_param_from_defvarkor-1/+1
2018-05-15Use Kind instead of UnpackedKind in Substs methodsvarkor-5/+3
2018-05-15Refactor Substs methods on generic parametersvarkor-6/+12
2018-05-15Feature gate trivial boundsMatthew Jasper-0/+3
2018-05-15Implement RFC 2056 - trivial constraintsMatthew Jasper-9/+0
2018-05-12Better error reporting in Copy deriveleonardo.yvens-33/+3
2018-05-10Auto merge of #50395 - Zoxc:small-tys, r=michaelwoeristerbors-3/+3
2018-05-09Auto merge of #49711 - ibabushkin:auto_trait_refactor, r=nikomatsakisbors-0/+2
2018-05-08Store the GeneratorInterior in the new GeneratorSubstsJohn Kåre Alsaker-3/+3
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-26Begun refactoring auto trait discovery for use outside rustc.Inokentiy Babushkin-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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-12 21:23:38 +0000