about summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2018-02-18Generate documentation for auto-trait implsAaron Hill-5/+18
2018-02-17fix more typos found by codespell.Matthias Krüger-4/+4
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-25Rollup merge of #47529 - nikomatsakis:impl-trait-issue-38064, r=cramertjAlex Crichton-1/+1
2018-01-23Adds support for immovable generators. Move checking of invalid borrows acros...John Kåre Alsaker-1/+2
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-17track recursion limit when expanding existential impl traitNiko Matsakis-1/+1
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-15Auto merge of #47329 - davidtwco:issue-46983, r=nikomatsakisbors-12/+13
2018-01-10Fixes #46983. Fixes bad error message when converting anonymous lifetime to `...David Wood-12/+13
2018-01-08Use different DefIndex representation that is better suited for variable leng...Michael Woerister-3/+2
2018-01-01Fix docs for future pulldown migrationMalo Jaffré-17/+31
2017-12-25"incompatible arm" diagnostic span tweakEsteban Küber-2/+12
2017-12-20improve comment about instantiating anon typesNiko Matsakis-6/+34
2017-12-20when using feature(nll), don't warn about AST-based region errorsNiko Matsakis-7/+51
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-20connect NLL type checker to the impl trait codeNiko Matsakis-5/+42
2017-12-20extract the writeback code for anon types into InferCtxtNiko Matsakis-1/+102
2017-12-20extract `constrain_anon_types` to the `InferCtxt`Niko Matsakis-15/+284
2017-12-20extract `instantiate_anon_types` to the `InferCtxt`Niko Matsakis-0/+201
2017-12-15add a new RegionKind variant: ReClosureBoundNiko Matsakis-1/+29
2017-12-13Add more debug logsSantiago Pastorino-1/+15
2017-12-13Check Repeat RvalueSantiago Pastorino-0/+4
2017-12-10infer: Fix typo in README.Emilio Cobos Álvarez-1/+1
2017-12-09Use Try syntax for Option in place of macros or matchMatt Brubeck-4/+2
2017-12-07replace `InferCtxt::fn_sig` with `closure_sig`Niko Matsakis-32/+12
2017-12-07mir-borrowck returns closure requirements, mir-typeck enforcesNiko Matsakis-0/+5
2017-12-04outlives/env: fix comment, say must and not shouldNiko Matsakis-1/+1
2017-12-04outlives/env: Fix comment that lost surrounding context.Niko Matsakis-3/+2
2017-12-04free_region_map: Fix typo in comment: r_a <= r_bNiko Matsakis-1/+1
2017-12-04rename `greater_than` to `reachable_from`Niko Matsakis-13/+0
2017-12-04rename `implied_bounds` module to `bounds`Niko Matsakis-3/+3