summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2018-05-02Add a comment explaining unification w/ universesSean Griffin-0/+5
2018-05-02Fix rebase issuesSean Griffin-1/+1
2018-05-02track skol levels in the InferCtxt rather than via counterSean Griffin-81/+21
2018-05-02Wrap `InferCtxt::universe` in a cellSean Griffin-5/+9
2018-05-02Fix rebase issuesSean Griffin-0/+2
2018-05-02give a universe to region variablesSean Griffin-6/+34
2018-05-02store RegionVariableInfo and not just RegionVariableOriginSean Griffin-30/+37
2018-05-02change skolemizations to use universe indexSean Griffin-18/+18
2018-05-02add universes to type inference variablesSean Griffin-7/+15
2018-05-02introduce `UniverseIndex` into `InferCtxt`Sean Griffin-0/+12
2018-04-28Auto merge of #50240 - nnethercote:LazyBTreeMap, r=cramertjbors-8/+10
2018-04-26Implement LazyBTreeMap and use it in a few places.Nicholas Nethercote-8/+10
2018-04-24Make Binder's field private and clean up its usageTyler Mandry-9/+11
2018-04-23create a `QueryRegionConstraint` typeNiko Matsakis-48/+23
2018-04-17Auto merge of #49836 - nikomatsakis:nll-facts-prep, r=pnkfelixbors-4/+4
2018-04-15Make use of thread-safe arenasJohn Kåre Alsaker-3/+3
2018-04-15s/`use_mir`/`use_mir_borrowck`/Niko Matsakis-1/+1
2018-04-15remove -Znll -- borrowck=mir implies nll nowNiko Matsakis-4/+4
2018-04-14Rollup merge of #49913 - varkor:RegionParameterDef-InternedString, r=petroche...kennytm-1/+2
2018-04-13Use InternedString rather than Name for RegionParameterDefvarkor-1/+2
2018-04-12Auto merge of #49558 - Zoxc:sync-misc, r=michaelwoeristerbors-2/+2
2018-04-12Rollup merge of #49730 - sinkuu:fix_ice_49556, r=cramertjkennytm-3/+7
2018-04-10Make PerfStats thread-safe and remove unused fieldsJohn Kåre Alsaker-2/+2
2018-04-08Print region in case of ICEShotaro Yamada-1/+1
2018-04-06Fix ICE with impl TraitShotaro Yamada-2/+6
2018-04-06Use InternedString instead of Symbol for type parameters.Michael Woerister-2/+2
2018-03-29Auto merge of #49313 - sgrif:sg-revert-stuff, r=nikomatsakisbors-82/+38
2018-03-27Auto merge of #49202 - csmoe:trait_engine, r=nikomatsakisbors-1/+1
2018-03-23Fix failures after rebaseSean Griffin-2/+0
2018-03-23Revert "add universes to type inference variables"Sean Griffin-59/+20
2018-03-23Revert "fix tidy error"Sean Griffin-4/+1
2018-03-23Revert "change skolemizations to use universe index"Sean Griffin-18/+18
2018-03-23import trait engine to typeckcsmoe-2/+2
2018-03-23introduce trait engine modcsmoe-1/+1
2018-03-22UserAssertTy can handle inference variables.David Wood-8/+21
2018-03-21work around fallout from these changes in rustcNiko Matsakis-1/+2
2018-03-21report an error if we see an unexpected lifetime in impl TraitNiko Matsakis-34/+154
2018-03-20rewrite to use a custom folderNiko Matsakis-42/+50
2018-03-16Replace many of the last references to readmesMark Mansi-7/+21
2018-03-14Fixes after rebaseAndrew Cann-7/+1
2018-03-14Add note about fallback to `!: !Trait` errorAndrew Cann-1/+1
2018-03-14remove defaulting to unitAndrew Cann-6/+0
2018-03-13add "text" sections for things that seem likely to be a problemNiko Matsakis-2/+6
2018-03-13remove dead codeNiko Matsakis-11/+0
2018-03-13replace inline docs with references to rustc-guideNiko Matsakis-57/+18
2018-03-13short-circuit work when instantiating query responsesNiko Matsakis-24/+84
2018-03-13move `drain_fulfillment_cx_or_panic` to be private to traits::transNiko Matsakis-40/+0
2018-03-13transition various normalization functions to the new methodsNiko Matsakis-135/+1
2018-03-13introduce `infcx.at(..).normalize(..)` operation [VIC]Niko Matsakis-3/+28
2018-03-13add `canonicalize` method to `InferCtxt` [VIC]Niko Matsakis-2/+944
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-26 18:48:56 +0000