summary refs log tree commit diff
path: root/src/librustc/infer/error_reporting/mod.rs
AgeCommit message (Expand)AuthorLines
2017-12-25"incompatible arm" diagnostic span tweakEsteban Küber-2/+12
2017-12-20when using feature(nll), don't warn about AST-based region errorsNiko Matsakis-2/+11
2017-12-20Add nll feature and make nll imply nll_dump_causeSantiago Pastorino-1/+1
2017-12-20refactor `report_generic_bound_failure` to be usable by NLL codeNiko Matsakis-13/+22
2017-12-20connect NLL machinery to the `NiceRegionError` codeNiko Matsakis-1/+1
2017-12-20introduce a `NiceRegionError` type and define methods on thatNiko Matsakis-3/+1
2017-12-20move nice-region-error reporting into its own moduleNiko Matsakis-4/+1
2017-12-15add a new RegionKind variant: ReClosureBoundNiko Matsakis-0/+8
2017-11-29Include lifetime on highlighted ref type mismatchEsteban Küber-28/+26
2017-11-28On type mismatch error highlight `&` when type matchesEsteban Küber-0/+58
2017-11-18give better error messages when a cycle arisesNiko Matsakis-18/+45
2017-11-17issue better error message when LUB/GLB diverge under new behaviorNiko Matsakis-1/+8
2017-11-16factor out `free_region_binding_scope` helperNiko Matsakis-7/+1
2017-11-16formalize giving ownership of region vars to region inf. contextNiko Matsakis-0/+1
2017-11-16rename `region_inference` module to `region_constraints`Niko Matsakis-1/+1
2017-11-16move `RegionResolutionError` into `lexical_region_resolve`Niko Matsakis-1/+2
2017-11-16region_inference: tighten up `pub`, stop re-exporting enum variantsNiko Matsakis-29/+32
2017-11-15convert EXTRA_REQUIREMENT_IN_IMPL into a hard errorNiko Matsakis-3/+2
2017-11-06Auto merge of #45668 - nikomatsakis:nll-free-region, r=arielb1bors-0/+21
2017-11-02emit less info when we warnNiko Matsakis-3/+2
2017-11-02convert (lexical) region errors to warn when NLL is enabledNiko Matsakis-9/+10
2017-11-02ignore region errors if NLL is enabledNiko Matsakis-0/+21
2017-11-01Improve display of error E0308 for structsJosh Leeb-du Toit-13/+40
2017-10-02fix handling of `Self`Ariel Ben-Yehuda-1/+2
2017-10-01fix handling of SelfAriel Ben-Yehuda-2/+1
2017-10-01handle nested generics in Generics::type_param/region_paramAriel Ben-Yehuda-1/+1
2017-09-27Auto merge of #44782 - estebank:issue-36700, r=GuillaumeGomezbors-10/+60
2017-09-24Point at parameter type on E0301Esteban Küber-10/+60
2017-09-24move Scope behind an enumAriel Ben-Yehuda-7/+9
2017-09-24sort the list of inference errors by spanAriel Ben-Yehuda-2/+11
2017-09-14bring Ty into scopeDouglas Campos-5/+5
2017-09-10Auto merge of #44316 - eddyb:no-local-var-def-id, r=michaelwoeristerbors-2/+3
2017-09-09adding E0623 for LateBound regionsgaurikholkar-1/+1
2017-09-08Use NodeId/HirId instead of DefId for local variables.Eduard-Mihai Burtescu-2/+3
2017-09-05rustc: Flag some CrateStore methods as "untracked"Alex Crichton-1/+1
2017-09-01rustc: rename CodeExtent to Scope and RegionMaps to ScopeTree.Eduard-Mihai Burtescu-18/+18
2017-09-01rustc: use hir::ItemLocalId instead of ast::NodeId in CodeExtent.Eduard-Mihai Burtescu-1/+1
2017-09-01rustc: take TyCtxt and RegionMaps in CodeMap::span.Eduard-Mihai Burtescu-16/+15
2017-08-30Make fields of `Span` privateVadim Petrochenkov-1/+1
2017-08-25Auto merge of #43700 - gaurikholkar:struct_lifetimes, r=nikomatsakisbors-1/+3
2017-08-24adding macro, cleaning up codegaurikholkar-1/+3
2017-08-19librustc_typeck: store a DefId rather than a NameTamir Duberstein-2/+2
2017-08-15Fix typos & us spellingsFourchaux-1/+1
2017-08-11Use DefIndex instead of NodeId in UpvarId.Michael Woerister-1/+1
2017-08-01Fixed all unnecessary muts in language coreIsaac van Bakel-2/+2
2017-07-29Cleanup some remains of `hr_lifetime_in_assoc_type` compatibility lintVadim Petrochenkov-33/+2
2017-07-28Adding E0623, to detect missing lifetimes when both regions are anonymousgaurikholkar-22/+29
2017-07-12Rollup merge of #42826 - Yorwba:type-mismatch-same-absolute-paths, r=arielb1Mark Simulacrum-1/+4
2017-07-11Clean up some codeGuillaume Gomez-31/+25
2017-06-29Code review fixesgaurikholkar-1/+0