user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/tests/ui/nll
History
Stuart Cook e5b98a9c21
Rollup merge of #143093 - lqd:polonius-pre-alpha, r=jackh726 
Simplify polonius location-sensitive analysis

This PR reworks the location-sensitive analysis into what we think is a worthwhile subset of the datalog analysis. A sort of polonius alpha analysis that handles NLL problem case 3 and more, but is still using the faster "reachability as an approximation of liveness", as well as the same loans-in-scope computation as NLLs -- and thus doesn't handle full flow-sensitivity like the datalog implementation.

In the last few months, we've identified this subset as being actionable:
- we believe we can make a stabilizable version of this analysis
- it is an improvement over the status quo
- it can also be modeled in a-mir-formality, or some other formalism, for assurances about soundness, and I believe ````````@nikomatsakis```````` is interested in looking into this during H2.
- and we've identified the areas of work we wish to explore later to gradually expand the supported cases: the differences between reachability and liveness, support of kills, and considerations of time-traveling, for example.

The approach in this PR is to try less to have the graph only represent live paths, by checking whether we reach a live region during traversal and recording the loan as live there, instead of equating traversal with liveness like today because it has subtleties with the typeck edges in statements (that could forward loans to the successor point without ensuring their liveness). We can then also simplify these typeck stmt edges. And we also can simplify traversal by removing looking at kills, because that's enough to handle a bunch of NLL problem 3 cases -- and we can gradually support them more and more in traversal in the future, to reduce the approximation of liveness.

There's still some in-progress pieces of work w/r/t opaque types that I'm expecting [lcnr's opaque types rework](https://github.com/rust-lang/rust/pull/139587), and [amanda's SCCs rework](https://github.com/rust-lang/rust/pull/130227) to handle. That didn't seem to show up in tests until I rebased today (and shows lack of test coverage once again) when https://github.com/rust-lang/rust/pull/142255 introduced a couple of test failures with the new captures rules from edition 2024. It's not unexpected since we know more work is needed with member constraints (and we're not even using SCCs in this prototype yet)

I'll look into these anyways, both for future work, and checking how these other 2 PRs would change things.

---

I'm not sure the following means a lot until we have some formalism in-place, but:
- I've changed the polonius compare-mode to use this analysis: the tests pass with it, except 2 cases with minor diagnostics differences, and the 2 edition 2024 opaque types one I mentioned above and need to investigate
- things that are expected to work still do work: it bootstraps, can run our rustc-perf benchmarks (and the results are not even that bad), and a crater run didn't find any regressions (forgetting that crater currently fails to test around a quarter of all crates 👼)
- I've added tests with improvements, like the NLL problem case 3 and others, as well as some that behave the same as NLLs today and are thus worse than the datalog implementation

r? ````````@jackh726````````

(no rush I know you're deep in phd work and "implmentating" the new trait solver for r-a :p <3)

This also fixes rust-lang/rust#135646, a diagnostics ICE from the previous implementation.
2025-08-10 19:45:46 +10:00
..
closure-requirements Make sure to account for the right item universal regions in borrowck 2025-07-30 04:07:19 +00:00
polonius mark polonius=next's NLL imprecisions as known-bugs 2025-08-08 15:15:09 +00:00
relate_tys Add tests for two untested cases of placeholder relations 2025-04-22 12:07:53 +02:00
ty-outlives Make sure to account for the right item universal regions in borrowck 2025-07-30 04:07:19 +00:00
user-annotations Make missing lifetime suggestion verbose 2025-06-24 18:59:42 +00:00
assign-while-to-immutable.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
borrow-use-issue-46875.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
borrowck-thread-local-static-mut-borrow-outlives-fn.rs Fix error message for static references or mutable references 2025-04-26 14:48:30 +09:00
borrowck-thread-local-static-mut-borrow-outlives-fn.stderr future-incompat lints: don't link to the nightly edition-guide version 2025-07-16 01:44:02 -07:00
borrowed-local-error.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
borrowed-local-error.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
borrowed-match-issue-45045.rs UI tests: add missing diagnostic kinds where possible 2025-04-08 23:06:31 +03:00
borrowed-match-issue-45045.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
borrowed-referent-issue-38899.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
borrowed-referent-issue-38899.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
borrowed-temporary-error.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
borrowed-temporary-error.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
borrowed-universal-error-2.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
borrowed-universal-error-2.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
borrowed-universal-error.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
borrowed-universal-error.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
cannot-move-block-spans.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
cannot-move-block-spans.stderr More move error suggestions to clone 2024-04-11 16:41:41 +00:00
capture-mut-ref.fixed [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
capture-mut-ref.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
capture-mut-ref.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
capture-ref-in-struct.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
capture-ref-in-struct.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
check-normalized-sig-for-wf.current.stderr Deeply normalize signature in new solver 2025-02-11 19:24:07 +00:00
check-normalized-sig-for-wf.next.stderr Deeply normalize signature in new solver 2025-02-11 19:24:07 +00:00
check-normalized-sig-for-wf.rs Deeply normalize signature in new solver 2025-02-11 19:24:07 +00:00
closure-access-spans.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
closure-access-spans.stderr Peel off explicit (or implicit) deref before suggesting clone on move error in borrowck 2024-07-26 14:41:56 -04:00
closure-borrow-spans.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
closure-borrow-spans.stderr Modify find_expr from Span to better account for closures 2024-04-24 22:21:13 +00:00
closure-captures.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
closure-captures.stderr More accurate mutability suggestion 2024-07-04 05:36:34 +00:00
closure-malformed-projection-input-issue-102800.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
closure-malformed-projection-input-issue-102800.stderr Add a note to duplicate diagnostics 2023-10-05 01:04:41 +00:00
closure-move-spans.fixed Better account for more cases involving closures 2024-04-12 04:46:31 +00:00
closure-move-spans.rs Better account for more cases involving closures 2024-04-12 04:46:31 +00:00
closure-move-spans.stderr Better account for more cases involving closures 2024-04-12 04:46:31 +00:00
closure-use-spans.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
closure-use-spans.stderr Tweak E0597 2023-01-15 19:46:20 +00:00
closures-in-loops.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
closures-in-loops.stderr Better account for more cases involving closures 2024-04-12 04:46:31 +00:00
constant-thread-locals-issue-47053.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
constant-thread-locals-issue-47053.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
constant.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
continue-after-missing-main.rs Continue to borrowck even if there were previous errors 2024-02-08 08:10:43 +00:00
continue-after-missing-main.stderr Continue to borrowck even if there were previous errors 2024-02-08 08:10:43 +00:00
coroutine-distinct-lifetime.rs Error on using yield without also using #[coroutine] on the closure 2024-04-24 08:05:29 +00:00
coroutine-upvar-mutability.rs Error on using yield without also using #[coroutine] on the closure 2024-04-24 08:05:29 +00:00
coroutine-upvar-mutability.stderr More accurate mutability suggestion 2024-07-04 05:36:34 +00:00
decl-macro-illegal-copy.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
decl-macro-illegal-copy.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
do-not-ignore-lifetime-bounds-in-copy-proj.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
do-not-ignore-lifetime-bounds-in-copy-proj.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
do-not-ignore-lifetime-bounds-in-copy.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
do-not-ignore-lifetime-bounds-in-copy.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
dont-print-desugared.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
dont-print-desugared.stderr Tweak E0597 2023-01-15 19:46:20 +00:00
drop-may-dangle.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
drop-no-may-dangle.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
drop-no-may-dangle.stderr Tweak E0597 2023-01-15 19:46:20 +00:00
empty-type-predicate-2.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
empty-type-predicate.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
enum-drop-access.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
enum-drop-access.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
extra-unused-mut.rs Error on using yield without also using #[coroutine] on the closure 2024-04-24 08:05:29 +00:00
get_default.legacy.stderr update NLL get_default test for poloniuses 2025-01-31 11:04:50 +00:00
get_default.nll.stderr update NLL get_default test for poloniuses 2025-01-31 11:04:50 +00:00
get_default.polonius.stderr update NLL get_default test for poloniuses 2025-01-31 11:04:50 +00:00
get_default.rs update NLL get_default test for poloniuses 2025-01-31 11:04:50 +00:00
guarantor-issue-46974.rs Remove FIXME about NLL diagnostic that is already improved 2023-08-06 21:20:15 +02:00
guarantor-issue-46974.stderr Remove FIXME about NLL diagnostic that is already improved 2023-08-06 21:20:15 +02:00
ice-106874.rs address review feedback 2024-03-23 16:14:42 +01:00
ice-106874.stderr add test for #106874 ICE BoundUniversalRegionError 2024-03-23 12:50:21 +01:00
issue-16223.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-21114-ebfull.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-21114-kixunil.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-21232-partial-init-and-erroneous-use.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-21232-partial-init-and-erroneous-use.stderr Mention type that could be Clone but isn't in more cases 2025-07-25 18:34:10 +00:00
issue-21232-partial-init-and-use.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-21232-partial-init-and-use.stderr Mention when type parameter could be Clone 2024-04-24 22:21:15 +00:00
issue-22323-temp-destruction.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-24535-allow-mutable-borrow-in-match-guard.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-27282-move-match-input-into-guard.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-27282-move-match-input-into-guard.stderr Peel off explicit (or implicit) deref before suggesting clone on move error in borrowck 2024-07-26 14:41:56 -04:00
issue-27282-move-ref-mut-into-guard.rs Peel off explicit (or implicit) deref before suggesting clone on move error in borrowck 2024-07-26 14:41:56 -04:00
issue-27282-move-ref-mut-into-guard.stderr Peel off explicit (or implicit) deref before suggesting clone on move error in borrowck 2024-07-26 14:41:56 -04:00
issue-27282-mutate-before-diverging-arm-1.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-27282-mutate-before-diverging-arm-1.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-27282-mutate-before-diverging-arm-2.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-27282-mutate-before-diverging-arm-2.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-27282-mutate-before-diverging-arm-3.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-27282-mutate-before-diverging-arm-3.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-27282-mutation-in-guard.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-27282-mutation-in-guard.stderr Peel off explicit (or implicit) deref before suggesting clone on move error in borrowck 2024-07-26 14:41:56 -04:00
issue-27282-reborrow-ref-mut-in-guard.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-27282-reborrow-ref-mut-in-guard.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-27583.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-27868.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-27868.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-30104.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-30438-a.rs Move tests 2023-05-08 17:58:01 -03:00
issue-30438-a.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-30438-b.rs Move tests 2023-05-08 17:58:01 -03:00
issue-30438-b.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-30438-c.rs Move tests 2023-05-08 17:58:01 -03:00
issue-30438-c.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-31567.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-31567.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-32382-index-assoc-type-with-lifetime.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-40510-1.rs Move tests 2024-04-07 17:38:07 -03:00
issue-40510-1.stderr Move tests 2024-04-07 17:38:07 -03:00
issue-40510-2.rs Move tests 2024-04-07 17:38:07 -03:00
issue-40510-3.rs Move tests 2024-04-07 17:38:07 -03:00
issue-40510-3.stderr Move tests 2024-04-07 17:38:07 -03:00
issue-40510-4.rs Move tests 2024-04-07 17:38:07 -03:00
issue-42574-diagnostic-in-nested-closure.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-42574-diagnostic-in-nested-closure.stderr Modify find_expr from Span to better account for closures 2024-04-24 22:21:13 +00:00
issue-43058.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-45157.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-45157.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-45696-long-live-borrows-in-boxes.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-45696-no-variant-box-recur.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-45696-scribble-on-boxed-borrow.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-45696-scribble-on-boxed-borrow.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-46023.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-46023.stderr More accurate mutability suggestion 2024-07-04 05:36:34 +00:00
issue-46036.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-46036.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-46589.nll.stderr mark polonius=next's NLL imprecisions as known-bugs 2025-08-08 15:15:09 +00:00
issue-46589.polonius.stderr mark polonius=next's NLL imprecisions as known-bugs 2025-08-08 15:15:09 +00:00
issue-46589.rs mark polonius=next's NLL imprecisions as known-bugs 2025-08-08 15:15:09 +00:00
issue-47022.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-47153-generic-const.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-47388.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-47388.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-47470.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-47470.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-47589.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-48070.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-48179.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-48238.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-48238.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-48623-closure.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-48623-coroutine.rs Error on using yield without also using #[coroutine] on the closure 2024-04-24 08:05:29 +00:00
issue-48623-coroutine.stderr Error on using yield without also using #[coroutine] on the closure 2024-04-24 08:05:29 +00:00
issue-48697.rs UI tests: add missing diagnostic kinds where possible 2025-04-08 23:06:31 +03:00
issue-48697.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-48803.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-48803.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-50343.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-50461-used-mut-from-moves.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-50716-1.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-50716.rs trait_sel: MetaSized always holds temporarily 2025-07-16 12:35:44 +00:00
issue-50716.stderr trait_sel: MetaSized always holds temporarily 2025-07-16 12:35:44 +00:00
issue-51191.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-51191.stderr Do not set up wrong span for adjustments 2023-07-10 20:09:26 +00:00
issue-51244.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-51244.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-51268.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-51268.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-51345-2.rs Print thread ID in panic message if thread name is unknown 2025-08-06 23:59:47 +00:00
issue-51351.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-51512.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-51512.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-51770.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-52057.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-52059-report-when-borrow-and-drop-conflict.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-52059-report-when-borrow-and-drop-conflict.stderr Peel off explicit (or implicit) deref before suggesting clone on move error in borrowck 2024-07-26 14:41:56 -04:00
issue-52078.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-52086.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-52086.stderr Suggest .clone() in some move errors 2024-04-11 16:41:41 +00:00
issue-52113.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-52113.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-52213.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-52213.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-52533-1.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-52533-1.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-52534-1.rs tail expression behind terminating scope 2024-06-18 04:14:43 +08:00
issue-52534-1.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-52534-2.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-52534-2.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-52534.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-52534.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-52663-span-decl-captured-variable.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-52663-span-decl-captured-variable.stderr Generalize logic pointing at binding moved into closure 2025-07-21 16:21:23 +00:00
issue-52663-trait-object.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-52663-trait-object.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-52669.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-52669.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-52742.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-52742.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-52992.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-53040.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-53040.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-53119.rs Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
issue-53123-raw-pointer-cast.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-53570.rs Replace elided_named_lifetimes with mismatched_lifetime_syntaxes 2025-06-04 10:40:04 -04:00
issue-53773.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-53773.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-53807.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-53807.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-54189.rs Bless test fallout (duplicate diagnostics) 2024-03-20 13:00:34 -04:00
issue-54189.stderr Bless test fallout (duplicate diagnostics) 2024-03-20 13:00:34 -04:00
issue-54302-cases.rs Move tests 2023-05-08 17:58:01 -03:00
issue-54302-cases.stderr Move tests 2023-05-08 17:58:01 -03:00
issue-54302.rs Move tests 2023-05-08 17:58:01 -03:00
issue-54302.stderr unify query canonicalization mode 2023-12-15 06:59:42 +00:00
issue-54382-use-span-of-tail-of-block.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-54382-use-span-of-tail-of-block.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-54556-niconii.edition2021.stderr Update more 2024 tests to remove -Zunstable-options 2024-11-28 14:32:45 -08:00
issue-54556-niconii.rs Replace elided_named_lifetimes with mismatched_lifetime_syntaxes 2025-06-04 10:40:04 -04:00
issue-54556-stephaneyfx.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-54556-stephaneyfx.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-54556-temps-in-tail-diagnostic.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-54556-temps-in-tail-diagnostic.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-54556-used-vs-unused-tails.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-54556-used-vs-unused-tails.stderr Tweak E0597 2023-01-15 19:46:20 +00:00
issue-54556-wrap-it-up.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-54556-wrap-it-up.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-54779-anon-static-lifetime.rs UI tests: add missing diagnostic kinds where possible 2025-04-08 23:06:31 +03:00
issue-54779-anon-static-lifetime.stderr best_blame_constraint: prioritize blaming interesting-seeming constraints 2025-01-06 16:12:11 -08:00
issue-54943-3.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-54943.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-54943.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-55288.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-55344.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-55394.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-55394.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-55401.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-55401.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-55511.rs remove IndirectStructuralMatch lint, emit the usual hard error instead 2024-05-03 15:56:59 +02:00
issue-55511.stderr remove IndirectStructuralMatch lint, emit the usual hard error instead 2024-05-03 15:56:59 +02:00
issue-55651.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-55825-const-fn.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-55850.rs Error on using yield without also using #[coroutine] on the closure 2024-04-24 08:05:29 +00:00
issue-55850.stderr Explain that coroutine can be marked static 2024-07-21 22:32:29 -04:00
issue-57100.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-57100.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-57265-return-type-wf-check.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-57265-return-type-wf-check.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-57280-1-flipped.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-57280-1-flipped.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-57280-1.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-57280.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-57362-1.rs Move some tests 2024-04-21 15:43:43 -03:00
issue-57362-1.stderr Move some tests 2024-04-21 15:43:43 -03:00
issue-57362-2.rs Normalize xform_ret_ty after constrained 2024-04-21 20:10:12 -04:00
issue-57362-2.stderr Avoid extra path trimming in method not found error 2025-05-24 23:31:07 +02:00
issue-57642-higher-ranked-subtype.rs Use fulfillment, not evaluate, during method probe 2024-04-21 20:10:12 -04:00
issue-57642-higher-ranked-subtype.stderr Avoid extra path trimming in method not found error 2025-05-24 23:31:07 +02:00
issue-57843.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-57843.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-57960.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-57989.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-57989.stderr tweak "make mut" spans (No. 3) 2023-05-05 22:40:05 +12:00
issue-58053.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-58053.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-58299.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-58299.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-61311-normalize.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-61320-normalize.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-61424.fixed [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-61424.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-61424.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-62007-assign-const-index.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-62007-assign-const-index.stderr best_blame_constraint: don't filter constraints by sup SCC 2025-01-06 16:08:29 -08:00
issue-62007-assign-differing-fields.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-62007-assign-differing-fields.stderr best_blame_constraint: don't filter constraints by sup SCC 2025-01-06 16:08:29 -08:00
issue-63154-normalize.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-67007-escaping-data.rs best_blame_constraint: don't filter constraints by sup SCC 2025-01-06 16:08:29 -08:00
issue-67007-escaping-data.stderr best_blame_constraint: don't filter constraints by sup SCC 2025-01-06 16:08:29 -08:00
issue-68550.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-68550.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-69114-static-mut-ty.rs Update tests for hidden references to mutable static 2024-09-13 14:10:56 +03:00
issue-69114-static-mut-ty.stderr Update tests for hidden references to mutable static 2024-09-13 14:10:56 +03:00
issue-69114-static-ty.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-69114-static-ty.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-73159-rpit-static.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-73159-rpit-static.stderr Bless test fallout 2024-08-17 12:43:25 -04:00
issue-75777.rs Move tests 2023-02-16 11:42:35 -03:00
issue-75777.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-78561.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-95272.rs best_blame_constraint: don't filter constraints by sup SCC 2025-01-06 16:08:29 -08:00
issue-95272.stderr best_blame_constraint: don't filter constraints by sup SCC 2025-01-06 16:08:29 -08:00
issue-97997.rs TypeVerifier do not walk into required consts 2025-03-06 12:53:35 +01:00
issue-97997.stderr TypeVerifier do not walk into required consts 2025-03-06 12:53:35 +01:00
issue-98170.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-98170.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-98589-closures-relate-named-regions.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-98589-closures-relate-named-regions.stderr best_blame_constraint: prioritize blaming interesting-seeming constraints 2025-01-06 16:12:11 -08:00
issue-98693.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-98693.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-112604-closure-output-normalize.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
lint-no-err.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
loan_ends_mid_block_pair.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
loan_ends_mid_block_pair.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
loan_ends_mid_block_vec.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
loan_ends_mid_block_vec.stderr Do not set up wrong span for adjustments 2023-07-10 20:09:26 +00:00
local-outlives-static-via-hrtb.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
local-outlives-static-via-hrtb.stderr Tweak E0597 2023-01-15 19:46:20 +00:00
lub-if.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
lub-if.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
lub-match.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
lub-match.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
match-cfg-fake-edges.rs Add if let tests 2024-04-03 23:16:27 +02:00
match-cfg-fake-edges.stderr Handle more cases of value suggestions 2024-04-10 20:36:14 +00:00
match-cfg-fake-edges2.rs Add tests 2024-04-03 21:02:47 +02:00
match-cfg-fake-edges2.stderr Add tests 2024-04-03 21:02:47 +02:00
match-guards-always-borrow.rs Peel off explicit (or implicit) deref before suggesting clone on move error in borrowck 2024-07-26 14:41:56 -04:00
match-guards-always-borrow.stderr Peel off explicit (or implicit) deref before suggesting clone on move error in borrowck 2024-07-26 14:41:56 -04:00
match-guards-partially-borrow.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
match-guards-partially-borrow.stderr Tweak E0597 2023-01-15 19:46:20 +00:00
match-on-borrowed.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
match-on-borrowed.stderr Use /* value */ as a placeholder 2024-04-15 21:36:52 -04:00
maybe-initialized-drop-implicit-fragment-drop.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
maybe-initialized-drop-implicit-fragment-drop.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
maybe-initialized-drop-uninitialized.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
maybe-initialized-drop-with-fragment.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
maybe-initialized-drop-with-fragment.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
maybe-initialized-drop-with-uninitialized-fragments.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
maybe-initialized-drop-with-uninitialized-fragments.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
maybe-initialized-drop.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
maybe-initialized-drop.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
mir_check_cast_closure.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
mir_check_cast_closure.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
mir_check_cast_reify.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
mir_check_cast_reify.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
mir_check_cast_unsafe_fn.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
mir_check_cast_unsafe_fn.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
mir_check_cast_unsize.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
mir_check_cast_unsize.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
missing-universe-cause-issue-114907.rs eagerly instantiate binders to avoid relying on sub 2024-03-14 17:19:40 +01:00
missing-universe-cause-issue-114907.stderr eagerly instantiate binders to avoid relying on sub 2024-03-14 17:19:40 +01:00
move-errors.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
move-errors.stderr add_move_error_suggestions: use a HIR visitor rather than SourceMap 2024-11-25 20:29:04 -08:00
move-subpaths-moves-root.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
move-subpaths-moves-root.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
mutating_references.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
nested-bodies-in-dead-code.rs borrowck nested items in dead code 2025-05-02 18:45:28 +00:00
nested-bodies-in-dead-code.stderr borrowck nested items in dead code 2025-05-02 18:45:28 +00:00
normalization-bounds-error.rs Continue compilation after check_mod_type_wf errors 2024-02-14 11:00:30 +00:00
normalization-bounds-error.stderr fix: Alloc new errorcode E0803 for E0495 2025-02-15 12:18:30 +08:00
normalization-bounds.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
outlives-suggestion-more.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
outlives-suggestion-more.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
outlives-suggestion-simple.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
outlives-suggestion-simple.stderr best_blame_constraint: don't filter constraints by sup SCC 2025-01-06 16:08:29 -08:00
process_or_insert_default.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
projection-return.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
promotable-mutable-zst-doesnt-conflict.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
promoted-bounds.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
promoted-bounds.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
promoted-closure-pair.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
promoted-closure-pair.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
promoted-liveness.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
rc-loop.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
ref-suggestion.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
ref-suggestion.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
reference-carried-through-struct-field.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
reference-carried-through-struct-field.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
region-ends-after-if-condition.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
region-ends-after-if-condition.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
return-ref-mut-issue-46557.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
return-ref-mut-issue-46557.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
return_from_loop.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
return_from_loop.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
self-assign-ref-mut.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
snocat-regression.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
snocat-regression.stderr Tweak multispan rendering 2024-12-12 23:36:27 +00:00
sugg-mut-for-binding-issue-137486.fixed Suggest mut when possbile for temporary value dropped while borrowed 2025-05-27 22:19:56 +08:00
sugg-mut-for-binding-issue-137486.rs Suggest mut when possbile for temporary value dropped while borrowed 2025-05-27 22:19:56 +08:00
sugg-mut-for-binding-issue-137486.stderr Suggest mut when possbile for temporary value dropped while borrowed 2025-05-27 22:19:56 +08:00
trait-associated-constant.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
trait-associated-constant.stderr recurse into refs when comparing tys for diagnostics 2023-12-07 23:00:46 -05:00
type-alias-free-regions.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
type-alias-free-regions.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
type-check-pointer-coercions.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
type-check-pointer-coercions.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
type-check-pointer-comparisons.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
type-check-pointer-comparisons.stderr make outlives constraints from pointer comparisons less boring 2025-01-06 16:12:11 -08:00
type-test-universe.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
type-test-universe.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
unexpected-inference-var-ice-116599.rs add test for #116599 2024-03-24 10:05:27 +01:00
unused-mut-issue-50343.fixed [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unused-mut-issue-50343.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unused-mut-issue-50343.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
vimwiki-core-regression.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
where_clauses_in_functions.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
where_clauses_in_functions.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
where_clauses_in_structs.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
where_clauses_in_structs.stderr best_blame_constraint: don't filter constraints by sup SCC 2025-01-06 16:08:29 -08:00