fc0fb0328b
Adding diagnostic code 0611 for lifetime errors with one named, one anonymous lifetime parameter This is a fix for #42517 Note that this only handles the above case for **function declarations** and **traits**. `impl items` and `closures` will be handled in a later PR. Example ``` fn foo<'a>(x: &i32, y: &'a i32) -> &'a i32 { if x > y { x } else { y } } ``` now displays the following error message. ui tests have been added for the same. ``` error[E0611]: explicit lifetime required in the type of `x` 11 | fn foo<'a>(x: &i32, y: &'a i32) -> &'a i32 { | ^ consider changing the type of `x` to `&'a i32` 12 | if x > y { x } else { y } | - lifetime `'a` required ``` #42516 r? @nikomatsakis |
||
|---|---|---|
| .. | ||
| block-result | ||
| borrowck | ||
| check_match | ||
| closure_context | ||
| codemap_tests | ||
| compare-method | ||
| cross-crate-macro-backtrace | ||
| did_you_mean | ||
| dropck | ||
| fmt | ||
| hello_world | ||
| impl-trait | ||
| interior-mutability | ||
| invalid-module-declaration | ||
| issue-37311-type-length-limit | ||
| issue-38875 | ||
| issue-40402-ref-hints | ||
| issue-41652 | ||
| lifetime-errors | ||
| lifetimes | ||
| lint | ||
| macros | ||
| mismatched_types | ||
| missing-items | ||
| print-fuel | ||
| print_type_sizes | ||
| pub | ||
| reachable | ||
| resolve | ||
| span | ||
| suggestions | ||
| token | ||
| transmute | ||
| type-check | ||
| coercion-missing-tail-expected-type.rs | ||
| coercion-missing-tail-expected-type.stderr | ||
| deprecated-macro_escape-inner.rs | ||
| deprecated-macro_escape-inner.stderr | ||
| deprecated-macro_escape.rs | ||
| deprecated-macro_escape.stderr | ||
| deriving-meta-empty-trait-list.rs | ||
| deriving-meta-empty-trait-list.stderr | ||
| enum-size-variance.rs | ||
| enum-size-variance.stderr | ||
| explain.rs | ||
| explain.stdout | ||
| issue-19100.rs | ||
| issue-19100.stderr | ||
| issue-22644.rs | ||
| issue-22644.stderr | ||
| issue-26548.rs | ||
| issue-26548.stderr | ||
| loop-break-value-no-repeat.rs | ||
| loop-break-value-no-repeat.stderr | ||
| path-lookahead.rs | ||
| path-lookahead.stderr | ||
| README.md | ||
| regions-fn-subtyping-return-static.rs | ||
| regions-fn-subtyping-return-static.stderr | ||
| shadowed-type-parameter.rs | ||
| shadowed-type-parameter.stderr | ||
| static-lifetime.rs | ||
| static-lifetime.stderr | ||
| test-should-panic-attr.rs | ||
| test-should-panic-attr.stderr | ||
| update-all-references.sh | ||
| update-references.sh | ||
Guide to the UI Tests
The UI tests are intended to capture the compiler's complete output,
so that we can test all aspects of the presentation. They work by
compiling a file (e.g., hello_world/main.rs), capturing the output,
and then applying some normalization (see below). This normalized
result is then compared against reference files named
hello_world/main.stderr and hello_world/main.stdout. If either of
those files doesn't exist, the output must be empty. If the test run
fails, we will print out the current output, but it is also saved in
build/<target-triple>/test/ui/hello_world/main.stdout (this path is
printed as part of the test failure mesage), so you can run diff and
so forth.
Editing and updating the reference files
If you have changed the compiler's output intentionally, or you are
making a new test, you can use the script update-references.sh to
update the references. When you run the test framework, it will report
various errors: in those errors is a command you can use to run the
update-references.sh script, which will then copy over the files
from the build directory and use them as the new reference. You can
also just run update-all-references.sh. In both cases, you can run
the script with --help to get a help message.
Normalization
The normalization applied is aimed at filenames:
- the test directory is replaced with
$DIR - all backslashes () are converted to forward slashes (/) (for windows)