summary refs log tree commit diff
path: root/src/librustc/infer/error_reporting/mod.rs
AgeCommit message (Expand)AuthorLines
2018-08-25An attempt to fix NLL migration mode so that reports region errors when neces...Felix S. Klock II-1/+8
2018-07-29Auto merge of #52767 - ljedrz:avoid_format, r=petrochenkovbors-13/+13
2018-07-27Remove unnecessary `.collect()`Shotaro Yamada-1/+1
2018-07-27Prefer to_string() to format!()ljedrz-13/+13
2018-07-23Separate the construction of a generic bound failure from its emission.Felix S. Klock II-4/+20
2018-07-18Implement existential typesOliver Schneider-1/+3
2018-07-16ItemKindcsmoe-6/+6
2018-07-16ExprKindcsmoe-6/+6
2018-07-14Auto merge of #52244 - glandium:issue52097, r=estebankbors-7/+63
2018-07-12Resolve FIXME(#27942)ljedrz-21/+1
2018-07-12Don't display default generic parameters in diagnostics that compare types.Mike Hommey-7/+63
2018-07-05Auto merge of #51938 - zackmdavis:and_the_case_of_the_leaking_desugar, r=este...bors-2/+17
2018-06-29in which we plug the crack where `?`-desugaring leaked into errorsZack M. Davis-2/+17
2018-06-28review comments: unify duplicated codeEsteban Küber-12/+8
2018-06-28Also point to free named region on lifetime errorsEsteban Küber-0/+13
2018-06-28Point to lifetime in fn definition on lifetime error noteEsteban Küber-5/+14
2018-06-28Use `Ident`s for associated item definitions in HIRVadim Petrochenkov-1/+1
2018-06-20Lift bounds into GenericParamvarkor-7/+2
2018-06-20Refactor generic parameters in rustdoc/cleanvarkor-8/+6
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