summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2018-06-18Auto merge of #51248 - fabric-and-ink:newtype_index_debrujin, r=nikomatsakisbors-4/+3
2018-06-18Auto merge of #51460 - nikomatsakis:nll-perf-examination-refactor-1, r=pnkfelixbors-1/+14
2018-06-18Auto merge of #51414 - oli-obk:impl_trait_type_def, r=pnkfelixbors-2/+11
2018-06-14Declare DebruijnIndex via newtype_index macroFabian Drinck-4/+3
2018-06-10Fix error codesGuillaume Gomez-1/+1
2018-06-09introduce `any_unifications` flagNiko Matsakis-1/+14
2018-06-07Add existential type definitonsOliver Schneider-2/+11
2018-05-28port `nice_region_error` code to not track depth but rather indexNiko Matsakis-15/+15
2018-05-28stop invoking `DebruijnIndex::new` directlyNiko Matsakis-1/+2
2018-05-28port `fold_regions` and friends to use debruijn indices directlyNiko Matsakis-3/+5
2018-05-28Auto merge of #50724 - zackmdavis:applicability_rush, r=Manishearthbors-2/+5
2018-05-21rustc: move TypeParamDef's fields into GenericParamDefKind::Type.Eduard-Mihai Burtescu-1/+1
2018-05-21rustc: don't call Kind::from directly, use .into() instead.Eduard-Mihai Burtescu-5/+5
2018-05-20suggestion applicabilities for libsyntax and librustc, run-rustfix testsZack M. Davis-2/+5
2018-05-18use `reset_unifications` instead of creating new unification tableNiko Matsakis-5/+2
2018-05-17Rename trans to codegen everywhere.Irina Popa-1/+1
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