about summary refs log tree commit diff
path: root/src/test/ui/nll
AgeCommit message (Collapse)AuthorLines
2018-09-14Auto merge of #54088 - matthewjasper:use-reason-in-dlle-errors, r=pnkfelixbors-0/+2
[NLL] Suggest let binding Closes #49821 Also adds an alternative to `explain_why_borrow_contains_point` that allows changing error messages based on the reason that will be given. This will also be useful for #51026, #51169 and maybe further changes to does not live long enough messages.
2018-09-10add FIXME related to `ref x` bindingsNiko Matsakis-13/+2
2018-09-10propagate user-ascribes types down onto resulting bindingsNiko Matsakis-18/+79
But only in very simple cases.
2018-09-10expand the patterns test with a bunch more scenariosNiko Matsakis-5/+172
2018-09-10optimize `let x: T = ..` to avoid a temporaryNiko Matsakis-14/+16
For some weird reason this fixes `intrinsic-move-val`. It also affects various test heuristics. I removed one test (`reborrow_basic`) that didn't seem to really be testing anything in particular anymore, compared to all the other tests we've got.
2018-09-10fix SCCs containing mixture of universesNiko Matsakis-0/+31
And add a test showing a universe violation getting caught.
2018-09-10insert `AscribeUserType` for ascriptionsNiko Matsakis-1/+55
2018-09-10now that we can handle subtyping, fix higher-ranked equalityNiko Matsakis-12/+1
2018-09-10add a test for variables used twiceNiko Matsakis-0/+52
2018-09-09Suggest a let binding to extend temporary lifetimes with NLLMatthew Jasper-0/+2
2018-09-07print less info to stabilize testsNiko Matsakis-22/+24
2018-09-07avoid propagating outlives obligations on locals if we canNiko Matsakis-0/+46
2018-09-07move `annotate` onto a method of `UniversalRegions`Niko Matsakis-0/+22
This allows it to print out the "late-bound regions" from the closure context more easily. Besides, all the state that is being printed it is private to the `UniversalRegions`.
2018-09-06Fix testsWesley Wiser-65/+91
2018-09-01Update testsBasile Desloges-486/+130
2018-08-28Auto merge of #53493 - matthewjasper:hair-spans, r=nikomatsakisbors-13/+8
Use smaller span for adjustments on block expressions When returning a mutable reference don't use the entire body of the function as the span for the adjustments at the end. The error [in this case](https://github.com/rust-lang/rust/compare/master...matthewjasper:hair-spans?expand=1#diff-ecef8b1f15622fb48a803c9b61605c78) is worse, but neither error message is really what we want. I have some ideas on how to get a better error message that will have to wait for a future PR.
2018-08-27implement liveness tracing, remove old liveness systemNiko Matsakis-4/+2
2018-08-25Use smaller span for adjustments on block expressionsMatthew Jasper-13/+8
2018-08-24address pnkfelix nitsNiko Matsakis-4/+9
2018-08-24pacify the mercilous tidy: adt-nullary-enums testNiko Matsakis-17/+32
2018-08-24ufcs with annot in position 1 and 2Niko Matsakis-0/+240
2018-08-24rename test caseNiko Matsakis-5/+5
the 3 is because the type arguments are in the 3rd position
2018-08-24add test for method ufcs notationNiko Matsakis-0/+122
2018-08-24support user-given types in adtsNiko Matsakis-0/+556
2018-08-24support user annotations in fns, methodsNiko Matsakis-0/+223
2018-08-24add a `user_substs` table and store the annotations in thereNiko Matsakis-0/+80
2018-08-18Auto merge of #53175 - matthewjasper:more-return-stuff, r=nikomatsakisbors-15/+16
[NLL] Returns are interesting for free regions Based on #53088 - creating now to get feedback. Closes #51175 * Make assigning to the return type interesting. * Use "returning this value" instead of "return" in error messages. * Prefer one of the explanations that we have a name for to a generic interesting cause in some cases. * Treat causes that involve the destination of a call like assignments.
2018-08-17Rollup merge of #53349 - memoryruins:nll-tests, r=nikomatsakisCorey Farwell-0/+76
[nll] add tests for #48697 and #30104 Adds tests for the following issues: - #48697 ``[NLL] ICE: unexpected region for local data with reference to closure`` - #30104 ``Destructuring boxes into multiple mutable references seems broken`` r? @nikomatsakis
2018-08-17Rollup merge of #53326 - memoryruins:issue-27868-test, r=nikomatsakisCorey Farwell-0/+58
[nll] add regression test for issue #27868 Adds a test for #27868 ``Inconsistent evaluation order for assignment operations`` apart of #47366 ``tracking issue for bugs fixed by the MIR borrow checker or NLL`` r? @nikomatsakis
2018-08-15Bless UI testsashtneoi-38/+74
2018-08-14Update testsMatthew Jasper-15/+16
2018-08-14Improved how upvars are detected when presenting errors using prefixes.David Wood-0/+34
2018-08-14Add regression test for issue #30104memoryruins-0/+52
#30104
2018-08-14Add regression test for issue #48697memoryruins-0/+24
#48697
2018-08-14Merged migrated compile-fail tests and ui tests. Fixes #46841.David Wood-0/+863
2018-08-13[nll] add regression test for issue #27868memoryruins-0/+58
2018-08-10Auto merge of #53177 - ↵bors-16/+31
nikomatsakis:nll-redundant-borrows-and-escaping-values, r=pnkfelix optimize redundant borrows and escaping paths in NLL This builds on https://github.com/rust-lang/rust/pull/53168 and adds a commit that addresses https://github.com/rust-lang/rust/issues/53176 -- or at least I think it does. I marked this as WIP because I want to see the test results (and measure the performance). I also want to double check we're not adding in any unsoundness here.
2018-08-09Updated tests after rebase.David Wood-1/+2
2018-08-09Fallback to 'has type' error messages rather than 'lifetime appears in type'.David Wood-1/+1
2018-08-09Correctly identify named early bound regions.David Wood-0/+42
2018-08-08Auto merge of #53186 - mikhail-m1:master, r=nikomatsakisbors-0/+35
Fixes #53119. Fixes #53119. I minimized sample little bit more, but I checked the sample from issue too. r? @nikomatsakis
2018-08-08Auto merge of #53088 - matthewjasper:closure-region-spans, r=nikomatsakisbors-5/+6
[NLL] Use span of the closure args in free region errors Also adds a note when one of the free regions is BrEnv. In a future PR I'll change these messages to say "return requires", which should improve them a bit more. r? @nikomatsakis
2018-08-08Fixes #53119.Mikhail Modin-0/+35
2018-08-07avoid computing liveness when a variable doesn't need itNiko Matsakis-16/+31
In particular, we skip computing liveness for a variable X if all the regions in its type are known to outlive free regions.
2018-08-07Auto merge of #53109 - nikomatsakis:nll-escaping-into-return-revert, ↵bors-31/+16
r=nikomatsakis revert #52991 Reverts https://github.com/rust-lang/rust/pull/52991 which is flawed. I have an idea how to fix it but might as well revert first since it is so wildly flawed. That's what I get for opening PRs while on PTO =) r? @pnkfelix
2018-08-07Auto merge of #52450 - PramodBisht:issue/52413, r=estebankbors-4/+6
Closes #52413: Provide structured suggestion instead of label Provide structured suggestion instead of label r? @estebank
2018-08-06Name return type in free region messagesMatthew Jasper-2/+2
2018-08-06Disable some nice region errors in NLL mode.David Wood-51/+49
2018-08-06#52413: addressed @estebank's NitPramod Bisht-4/+6
2018-08-06revert #52991Niko Matsakis-31/+16
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-09 17:22:53 +0000