about summary refs log tree commit diff
AgeCommit message (Expand)AuthorLines
2017-12-20fix truncated commentNiko Matsakis-1/+4
2017-12-20improve comment about instantiating anon typesNiko Matsakis-6/+34
2017-12-20convert region-liveness-drop{-,-no-}may-dangle.rs into ui testsNiko Matsakis-66/+78
2017-12-20add some run-pass tests for NLL showing that things work as expectedNiko Matsakis-0/+108
2017-12-20when using feature(nll), don't warn about AST-based region errorsNiko Matsakis-13/+120
2017-12-20document and tweak the nll, use_mir, etc helpersNiko Matsakis-7/+28
2017-12-20feature nll implies borrowck=mirSantiago Pastorino-6/+23
2017-12-20feature nll implies two-phase-borrowsSantiago Pastorino-4/+9
2017-12-20Add nll feature and make nll imply nll_dump_causeSantiago Pastorino-10/+51
2017-12-20Add nll_dump_cause helper to SessionSantiago Pastorino-2/+5
2017-12-20use `report_generic_bound_failure` when we can in the compilerNiko Matsakis-85/+189
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-82/+144
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-20only dump causes if we have nothing betterNiko Matsakis-8/+8
2017-12-20Add three point error handling to borrowckSantiago Pastorino-23/+274
2017-12-20Move categorize logic out of visit_local functionNiko Matsakis-58/+80
2017-12-20Move MirVisitable to visit.rsSantiago Pastorino-24/+27
2017-12-20connect NLL type checker to the impl trait codeNiko Matsakis-38/+339
2017-12-20extract `input_output` code into its own moduleNiko Matsakis-51/+101
2017-12-20pass `UniversalRegions` to MIR type-checker instead of fieldsNiko Matsakis-22/+26
2017-12-20extract the writeback code for anon types into InferCtxtNiko Matsakis-132/+225
2017-12-20extract `constrain_anon_types` to the `InferCtxt`Niko Matsakis-206/+289
2017-12-20extract `instantiate_anon_types` to the `InferCtxt`Niko Matsakis-112/+225
2017-12-20propagate `region_bound_pairs` into MIR type-checkNiko Matsakis-33/+300
2017-12-20get the `DefiningTy` from the `body_owner_kind` not typeNiko Matsakis-73/+112
2017-12-20integrate -Znll-dump-cause into borrowckNiko Matsakis-37/+145
2017-12-20use Rc to store nonlexical_regioncx in BorrowsNiko Matsakis-3/+5
2017-12-20dump out causal information for "free region" errorsNiko Matsakis-9/+111
2017-12-20rustfmt: borrow_check/mod.rsNiko Matsakis-178/+229
2017-12-20Add tracking of causes for nllPaul Daniel Faria-39/+185
2017-12-20region_infer/values.rs: rustfmtNiko Matsakis-20/+29
2017-12-20simplify `AnonTypeDecl` in the impl trait codeNiko Matsakis-5/+24
2017-12-20Auto merge of #46874 - kennytm:rollup, r=kennytmbors-142/+254
2017-12-20Rollup merge of #46870 - ffflorian:fix/slice/typo, r=rkruppekennytm-1/+1
2017-12-20Rollup merge of #46856 - estebank:missing-in-impl-def-span, r=arielb1kennytm-56/+26
2017-12-20Rollup merge of #46852 - scottmcm:asm-placecontext, r=arielb1kennytm-2/+18
2017-12-20Rollup merge of #46851 - petrochenkov:tospace, r=estebankkennytm-42/+45
2017-12-20Rollup merge of #46835 - topecongiro:bad-span-for-macro-invocation-in-type, r...kennytm-4/+3
2017-12-20Rollup merge of #46831 - Diggsey:float-debug-fmt, r=dtolnaykennytm-10/+15
2017-12-20Rollup merge of #46828 - vi:hash_for_systemtime_instant, r=dtolnaykennytm-11/+34
2017-12-20Rollup merge of #46794 - Sh4rK:distribute-intrinsic-natvis, r=estebankkennytm-1/+2
2017-12-20Rollup merge of #46787 - varkor:contrib-6, r=QuietMisdreavuskennytm-5/+43
2017-12-20Rollup merge of #46760 - semarie:openbsd-arm64, r=alexcrichtonkennytm-0/+2