about summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2018-05-17Rollup merge of #50740 - nnethercote:rm-LazyBTreeMap, r=cramertjkennytm-10/+8
2018-05-15Auto merge of #48523 - varkor:generics-ty-generalisations, r=nikomatsakisbors-42/+41
2018-05-15One must always remember to clean up after themselvesvarkor-5/+6
2018-05-15Use Kind instead of UnpackedKind in Substs methodsvarkor-4/+4
2018-05-15Clean up shared subst codevarkor-36/+29
2018-05-15Refactor Substs methods on generic parametersvarkor-6/+11
2018-05-15Lift pure_wrt_drop to GenericParamDefvarkor-1/+1
2018-05-15Refactor generic params loopsvarkor-8/+5
2018-05-15Pull common parameters into GenericParamDefvarkor-9/+7
2018-05-15Eliminate ty::Generics::lifetimes()varkor-2/+8
2018-05-15Generalise more cases of explicit iteration of specific kindsvarkor-1/+1
2018-05-15Rename TypeParameterDef -> TypeParamDef and RegionParameterDef -> RegionParamDefvarkor-2/+2
2018-05-15Fix generics type parameter handling in mirivarkor-2/+1
2018-05-15Consolidate ty::Genericsvarkor-1/+1
2018-05-14Remove LazyBTreeMap.Nicholas Nethercote-10/+8
2018-05-13Improve eager type resolution error messageleonardo.yvens-2/+7
2018-05-08Insert fields from TypeAndMut into TyRef to allow layout optimizationJohn Kåre Alsaker-10/+12
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-11 01:12:54 +0000