about summary refs log tree commit diff
path: root/src/librustc/infer/error_reporting/mod.rs
AgeCommit message (Expand)AuthorLines
2018-06-20Refactor hir::GenericParam as a structvarkor-3/+9
2018-05-20suggestion applicabilities for libsyntax and librustc, run-rustfix testsZack M. Davis-2/+5
2018-05-08Insert fields from TypeAndMut into TyRef to allow layout optimizationJohn Kåre Alsaker-10/+12
2018-04-24Make Binder's field private and clean up its usageTyler Mandry-1/+1
2018-04-15s/`use_mir`/`use_mir_borrowck`/Niko Matsakis-1/+1
2018-04-15remove -Znll -- borrowck=mir implies nll nowNiko Matsakis-4/+4
2018-04-08Print region in case of ICEShotaro Yamada-1/+1
2018-03-13add `canonicalize` method to `InferCtxt` [VIC]Niko Matsakis-0/+1
2018-03-13make regions "traceable" so you can do `infcx.at(..).eq(r1, r2)`Niko Matsakis-0/+1
2018-03-08Rollup merge of #48682 - spastorino:make_causal_lazy, r=nikomatsakisManish Goregaokar-3/+16
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-23/+48
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-15Move diagnostic logic to its own moduleEsteban Küber-37/+1
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
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