about summary refs log tree commit diff
path: root/tests/ui/reachable
AgeCommit message (Collapse)AuthorLines
2025-08-02don't warn on explicit casts of never to any Waffle Lapkin-35/+17
2025-08-02refactor `unreachable/expr_cast.rs` testWaffle Lapkin-20/+21
2025-07-10cleaned up some testsKivooeo-13/+17
2025-07-01moved testsKivooeo-0/+54
2025-04-14Consistent with treating Ctor Call as Struct in liveness analysisxizheyin-39/+4
Signed-off-by: xizheyin <xizheyin@smail.nju.edu.cn>
2025-04-14Add ui test unreachable-by-call-arguments-issue-139627.rsxizheyin-0/+51
Signed-off-by: xizheyin <xizheyin@smail.nju.edu.cn>
2025-04-03compiletest: Require `//~` annotations even if `error-pattern` is specifiedVadim Petrochenkov-5/+3
2025-02-25Make E0614 a structured errorEsteban Küber-1/+1
``` error[E0614]: type `(..., ..., ..., ...)` cannot be dereferenced --> $DIR/long-E0614.rs:10:5 | LL | *x; | ^^ can't be dereferenced | = note: the full name for the type has been written to '$TEST_BUILD_DIR/$FILE.long-type-hash.txt' = note: consider using `--verbose` to print the full type name to the console ```
2025-01-23tests: use `needs-subprocess` instead of `ignore-{wasm32,emscripten,sgx}`许杰友 Jieyou Xu (Joe)-1/+1
2024-12-24Consider arm to diverge if guard divergesMichael Goulet-3/+29
2024-12-10Adjust `artificial-block.rs`Jieyou Xu-0/+30
- Document `artificial-block.rs` - Move `artificial-block.rs` under `tests/ui/reachable`
2024-11-26tests: remove `//@ pretty-expanded` usages许杰友 Jieyou Xu (Joe)-3/+0
Done with ```bash sd '//@ pretty-expanded.*\n' '' tests/ui/**/*.rs ``` and ``` sd '//@pretty-expanded.*\n' '' tests/ui/**/*.rs ```
2024-10-05Be far more strict about what we consider to be a read of neverMichael Goulet-1/+1
2024-10-05Evaluating place expr that is never read from does not divergeMichael Goulet-5/+6
2024-09-13Add a machine-applicable suggestion to "unreachable pattern"Nadrieril-2/+8
2024-09-11Revert warning empty patterns as unreachableNadrieril-2/+3
2024-08-20Move the "matches no value" note to be a span labelNadrieril-6/+3
2024-08-19Add a note with a link to explain empty typesNadrieril-0/+3
2024-08-19Reword the "unreachable pattern" explanationsNadrieril-5/+5
2024-08-10Update testsNadrieril-4/+2
2024-07-24Explain why a given pattern is considered unreachableNadrieril-1/+7
2024-03-20Make type_ascribe! not a built-inMichael Goulet-0/+1
2024-02-23Rollup merge of #120742 - Nadrieril:use-min_exh_pats, r=compiler-errorsMatthias Krüger-1/+1
mark `min_exhaustive_patterns` as complete This is step 1 and 2 of my [proposal](https://github.com/rust-lang/rust/issues/119612#issuecomment-1918097361) to move `min_exhaustive_patterns` forward. The vast majority of in-tree use cases of `exhaustive_patterns` are covered by `min_exhaustive_patterns`. There are a few cases that still require `exhaustive_patterns` in tests and they're all behind references. r? ``@ghost``
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-20/+20
2024-02-13Prefer `min_exhaustive_patterns` in testsNadrieril-1/+1
2023-11-24Show number in error message even for one errorNilstrieb-11/+11
Co-authored-by: Adrian <adrian.iosdev@gmail.com>
2023-10-23Update `since` stability attributes in testsDavid Tolnay-2/+2
2023-06-22Tweak privacy errors to account for reachable itemsEsteban Küber-1/+1
Suggest publicly accessible paths for items in private mod: When encountering a path in non-import situations that are not reachable due to privacy constraints, search for any public re-exports that the user could use instead. Track whether an import suggestion is offering a re-export. When encountering a path with private segments, mention if the item at the final path segment is not publicly accessible at all. Add item visibility metadata to privacy errors from imports: On unreachable imports, record the item that was being imported in order to suggest publicly available re-exports or to be explicit that the item is not available publicly from any path. In order to allow this, we add a mode to `resolve_path` that will not add new privacy errors, nor return early if it encounters one. This way we can get the `Res` corresponding to the final item in the import, which is used in the privacy error machinery.
2023-06-12Adjust UI tests for `unit_bindings`许杰友 Jieyou Xu (Joe)-7/+7
- Either explicitly annotate `let x: () = expr;` where `x` has unit type, or remove the unit binding to leave only `expr;` instead. - Fix disjoint-capture-in-same-closure test
2023-05-09Rollup merge of #111021 - c410-f3r:dqewdas, r=petrochenkovMatthias Krüger-0/+15
Move some tests r? ``@petrochenkov``
2023-05-08test for reachable private implMichael Goulet-0/+33
2023-05-08Move testsCaio-0/+15
2023-04-02Move some UI tests into subdirectoriesjyn-0/+16
to avoid going over the existing limit now that the ui-fulldeps tests have been moved to ui.
2023-03-12Remove uses of `box_syntax` in rustc and toolsclubby789-25/+0
2023-01-11Move /src/test to /testsAlbert Larsan-0/+1372