summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2017-07-12Rollup merge of #42826 - Yorwba:type-mismatch-same-absolute-paths, r=arielb1Mark Simulacrum-1/+4
2017-07-11Downgrade ProjectionTy's TraitRef to its substsTobias Schottdorf-6/+4
2017-07-11Clean up some codeGuillaume Gomez-39/+27
2017-07-05use field init shorthand in src/librustcZack M. Davis-22/+22
2017-06-30Rollup merge of #42669 - gaurikholkar:master, r=nikomatsakisGuillaume Gomez-15/+230
2017-06-29code fixes for error code use warninggaurikholkar-22/+16
2017-06-29conflict fixesgaurikholkar-1/+2
2017-06-29Code review fixesgaurikholkar-53/+20
2017-06-29Changing the error code to E0621gaurikholkar-3/+3
2017-06-29code review fixesgaurikholkar-29/+26
2017-06-29Adding changes to track anonymous region in selfgaurikholkar-20/+40
2017-06-29track anonymous regions in return types, fix tidy errorsgaurikholkar-16/+39
2017-06-29Enabling E0611 for inherent functionsgaurikholkar-42/+74
2017-06-29Interchange ^ and -gaurikholkar-2/+2
2017-06-29Adding new ui test for trait implgaurikholkar-1/+0
2017-06-29Adding diagnostic code 0611 for lifetime errors with one named, one anonymous...gaurikholkar-16/+198
2017-06-29Remove unused methodsGuillaume Gomez-22/+0
2017-06-28rustc_typeck: use body-id of type-checking item in need_type_infoVenkata Giri Reddy-7/+5
2017-06-27rustc: rename closure_type to fn_sig.Eduard-Mihai Burtescu-2/+6
2017-06-22Note different versions of same crate when absolute paths of different types ...Yorwba-1/+4
2017-06-16Rollup merge of #42662 - Mark-Simulacrum:doc-fix, r=estebankCorey Farwell-1/+1
2017-06-14Correct note as to location of section.Mark Simulacrum-1/+1
2017-06-14suppress trait errors that are implied by other errorsAriel Ben-Yehuda-3/+158
2017-06-10rustc: make the comon case of tcx.infer_ctxt(()) nicer.Eduard-Mihai Burtescu-70/+30
2017-06-10rustc: make InferCtxt optional in MemCategorizationContext.Eduard-Mihai Burtescu-21/+0
2017-06-10rustc: do not depend on infcx.tables in MemCategorizationContext.Eduard-Mihai Burtescu-128/+15
2017-06-09rustc_typeck: do not mutate tables directly during upvar inference.Eduard-Mihai Burtescu-4/+0
2017-06-07Auto merge of #42482 - eddyb:issue-42467, r=nikomatsakisbors-0/+7
2017-06-06rustc: T: 'empty always holds forall T.Eduard-Mihai Burtescu-0/+7
2017-06-04Update mod.rsbjorn3-1/+1
2017-06-03Add doc comments to librustc/infer/region_inference/mod.rsbjorn3-65/+66
2017-06-03Remove leftover? of old codebjorn3-1/+0
2017-06-01ergonomic improvements to the methods in infcxNiko Matsakis-167/+334
2017-06-01strip param-env from infcxNiko Matsakis-83/+106
2017-06-01move projection mode into parameter environmentNiko Matsakis-36/+22
2017-06-01Auto merge of #42281 - eddyb:well-adjusted, r=nikomatsakisbors-27/+13
2017-06-01rustc: keep overloaded autoderef MethodCallee's in Adjust.Eduard-Mihai Burtescu-27/+13
2017-06-01Rollup merge of #42297 - tschottdorf:proj-ty, r=nikomatsakisCorey Farwell-1/+2
2017-05-31Upgrade ProjectionTy's Name to a DefIdTobias Schottdorf-1/+2
2017-05-24Include context info into closure_kindsTommy Ip-1/+5
2017-05-22rename `parameter_environment` to `param_env`Niko Matsakis-5/+5
2017-05-22use `ParamEnv` from `ty` rather than importingNiko Matsakis-2/+2
2017-05-22rename `ParameterEnvironment` to `ParamEnv`Niko Matsakis-15/+15
2017-05-22centralize the caching for is-copy, is-sized, and is-freezeNiko Matsakis-8/+6
2017-05-18Fix off-by-one error in column number in `explain_span`.Florian Hartwig-1/+1
2017-05-15use equality in the coerce-unsized checkNiko Matsakis-0/+19
2017-05-13rustc: stop interning CodeExtent, it's small enough.Eduard-Mihai Burtescu-18/+18
2017-05-13rustc: remove redundant fn_id's from CodeExtentData.Eduard-Mihai Burtescu-2/+2
2017-05-13rustc: treat ReEarlyBound as free without replacing it with ReFree.Eduard-Mihai Burtescu-54/+72
2017-05-13rustc: use DefId instead of CodeExtent for FreeRegion's scope.Eduard-Mihai Burtescu-16/+15