about summary refs log tree commit diff
path: root/src/librustc/infer/error_reporting/util.rs
AgeCommit message (Collapse)AuthorLines
2017-12-20move nice-region-error reporting into its own moduleNiko Matsakis-226/+0
2017-12-09Use Try syntax for Option in place of macros or matchMatt Brubeck-4/+2
2017-11-05Handle anon lifetime arg being returned with named lifetime return typeEsteban Küber-0/+1
When there's a lifetime mismatch between an argument with an anonymous lifetime being returned in a method with a return type that has a named lifetime, show specialized lifetime error pointing at argument with a hint to give it an explicit lifetime matching the return type. ``` error[E0621]: explicit lifetime required in the type of `other` --> file2.rs:21:21 | 17 | fn bar(&self, other: Foo) -> Foo<'a> { | ----- consider changing the type of `other` to `Foo<'a>` ... 21 | other | ^^^^^ lifetime `'a` required ``` Follow up to #44124 and #42669.
2017-09-26merge fixes, addressing CR commentsgaurikholkar-3/+8
2017-09-14bring Ty into scopeDouglas Campos-2/+2
2017-09-09adding E0623 for LateBound regionsgaurikholkar-76/+102
2017-08-25Auto merge of #43700 - gaurikholkar:struct_lifetimes, r=nikomatsakisbors-40/+116
Adding E0623 for structs This is a fix to #43275 The error message is ``` +error[E0623]: lifetime mismatch + --> $DIR/ex3-both-anon-regions-both-are-structs.rs:15:12 + | +14 | fn foo(mut x: Vec<Ref>, y: Ref) { + | --- --- these structs are declared with different lifetimes... +15 | x.push(y); + | ^ ...but data from `y` flows into `x` here + +error: aborting due to previous error ``` r? @nikomatsakis
2017-08-24build fixesgaurikholkar-30/+30
2017-08-24adding macro, cleaning up codegaurikholkar-1/+9
2017-08-23code review fixesgaurikholkar-42/+41
2017-08-18code review fixesgaurikholkar-2/+14
2017-08-17code review fixesgaurikholkar-6/+24
2017-08-17Adding E0623 for structsgaurikholkar-17/+56
2017-08-11Use ItemLocalId as key for node_types, node_substs, and adjustments in ↵Michael Woerister-1/+1
TypeckTables.
2017-07-28Adding E0623, to detect missing lifetimes when both regions are anonymousgaurikholkar-0/+120