about summary refs log tree commit diff
path: root/src/librustc/infer/error_reporting
AgeCommit message (Expand)AuthorLines
2018-03-07Rollup merge of #48698 - ishitatsuyuki:burn-equate, r=nikomatsakisAlex Crichton-2/+0
2018-03-06Make causal tracking lazySantiago Pastorino-3/+16
2018-03-05Turn features() into a query.Michael Woerister-2/+2
2018-03-04Remove ty::Predicate::Equate and ty::EquatePredicate (dead code)Tatsuyuki Ishi-2/+0
2018-03-01rustfmt over error_reporting, explain_borrow and region_infer modsSantiago Pastorino-334/+404
2018-03-01Make explain borrow work for Universal lifetimesSantiago Pastorino-6/+27
2018-03-01Refactor note_and_explain_region to call note_and_explain_free_regionSantiago Pastorino-86/+92
2018-02-17fix more typos found by codespell.Matthias Krüger-2/+2
2018-02-03Auto merge of #47791 - estebank:mismatched-trait-impl, r=nikomatsakisbors-29/+52
2018-01-28Point only at method signatures and point at traitEsteban Küber-3/+3
2018-01-28For named lifetimes point only at method signatureEsteban Küber-20/+45
2018-01-27end_point handling multibyte characters correctly.David Wood-1/+2
2018-01-26Tweak presentation on lifetime trait mismatchEsteban Küber-6/+4
2018-01-23Adds support for immovable generators. Move checking of invalid borrows acros...John Kåre Alsaker-1/+1
2018-01-22Auto merge of #47144 - estebank:moved-closure-arg, r=nikomatsakisbors-13/+156
2018-01-19Tweak wording and spans of closure lifetime errorsEsteban Küber-3/+33
2018-01-15Move diagnostic logic to its own moduleEsteban Küber-50/+126
2018-01-15Handle case of moving into vec with uninferred lifetimeEsteban Küber-7/+15
2018-01-15Generalize cases where specific move error ocurrsEsteban Küber-2/+1
2018-01-15Reword diagnosticEsteban Küber-10/+6
2018-01-15Custom error when moving arg outside of its closureEsteban Küber-1/+35
2018-01-10Fixes #46983. Fixes bad error message when converting anonymous lifetime to `...David Wood-12/+13
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