rust/tests/ui/variance, branch perf-tmp

Make replacement suggestion `_` in type verbose

2025-09-29T03:28:52+00:00

``` error[E0121]: the placeholder `_` is not allowed within types on item signatures for return types --> $DIR/in-signature.rs:6:21 | LL | fn arr_fn() -> [u8; _] { | ^ not allowed in type signatures | help: replace with the correct return type | LL - fn arr_fn() -> [u8; _] { LL + fn arr_fn() -> [u8; 3] { | ```

Check variances in the non-hir wfchecker

2025-06-30T08:45:43+00:00

Make E0621 missing lifetime suggestion verbose

2025-06-09T19:55:00+00:00

``` error[E0621]: explicit lifetime required in the type of `x` --> $DIR/42701_one_named_and_one_anonymous.rs:10:9 | LL | &*x | ^^^ lifetime `'a` required | help: add explicit lifetime `'a` to the type of `x` | LL | fn foo2<'a>(a: &'a Foo, x: &'a i32) -> &'a i32 { | ++ ```

UI tests: add missing diagnostic kinds where possible

2025-04-08T20:06:31+00:00

Make UniqueArc invariant for soundness

2025-03-22T07:14:49+00:00

Make UniqueRc invariant for soundness

2025-01-11T21:36:25+00:00

`best_blame_constraint`: prioritize blaming interesting-seeming constraints

2025-01-07T00:12:11+00:00

`best_blame_constraint`: don't filter constraints by sup SCC

2025-01-07T00:08:29+00:00

The SCCs of the region graph are not a reliable heuristic to use for blaming an interesting constraint for diagnostics. For region errors, if the outlived region is `'static`, or the involved types are invariant in their lifetiems, there will be cycles in the constraint graph containing both the target region and the most interesting constraints to blame. To get better diagnostics in these cases, this commit removes that heuristic.

Don't report bivariance error when nesting a struct with field errors into another struct

2024-10-15T18:58:54+00:00

Print the generic parameter along with the variance in dumps.

2024-08-23T23:00:45+00:00