summary refs log tree commit diff
path: root/src/librustc/infer/error_reporting
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-20give precedence to `try_report_named_anon_conflict` methodNiko Matsakis-2/+2
2017-12-20use `Option<ErrorReported>` instead of `bool`Niko Matsakis-34/+25
2017-12-20introduce a `NiceRegionError` type and define methods on thatNiko Matsakis-82/+137
2017-12-20nice_region_error: rustfmtNiko Matsakis-83/+98
2017-12-20extract `find_anon_type` into its own moduleNiko Matsakis-263/+296
2017-12-20make `util` fns private to nice_region_errorNiko Matsakis-8/+8
2017-12-20move nice-region-error reporting into its own moduleNiko Matsakis-5/+16
2017-12-15add a new RegionKind variant: ReClosureBoundNiko Matsakis-0/+8
2017-12-09Use Try syntax for Option in place of macros or matchMatt Brubeck-4/+2
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-22Implement in-band lifetime bindingsTaylor Cramer-8/+11
2017-11-18give better error messages when a cycle arisesNiko Matsakis-18/+45
2017-11-18move the signature into the closure typeNiko Matsakis-3/+1
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-5/+6
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-7/+4
2017-11-12Improve SubSupConflict case with one named, one anonymous lifetime parameter ...Cengiz Can-0/+2
2017-11-07Rollup merge of #45751 - estebank:issue-44684, r=nikomatsakiskennytm-30/+42
2017-11-06review commentsEsteban Küber-2/+2
2017-11-06Auto merge of #45668 - nikomatsakis:nll-free-region, r=arielb1bors-0/+21
2017-11-05Handle anon lifetime arg being returned with named lifetime return typeEsteban Küber-30/+42
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-29Rollup merge of #44124 - gaurikholkar:return_self, r=arielb1Mark Simulacrum-81/+104
2017-09-27Auto merge of #44782 - estebank:issue-36700, r=GuillaumeGomezbors-10/+60
2017-09-26minor fixesgaurikholkar-2/+1
2017-09-26remove random newlines from error messages, fix compile-fail testNiko Matsakis-4/+4
2017-09-26use present tense consistently and update referencesNiko Matsakis-2/+2
2017-09-26tidy fixgaurikholkar-1/+1
2017-09-26modify message for return time having multiple lifetimesgaurikholkar-10/+2
2017-09-26merge fixes, addressing CR commentsgaurikholkar-82/+114
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-18incr.comp.: Fix rebase fallout.Michael Woerister-8/+4