Amanda Stjerna 7dd56b10ad Region inference: Use outlives-static constraints in constraint search ...

Revise the extra `r: 'static` constraints added upon universe issues
to add an explanation, and use that explanation during constraint blame
search. This greatly simplifies the region inference logic, which
now does not need to reverse-engineer the event that caused a region
to outlive 'static.

2025-08-22 13:38:22 +02:00

..

leak-check

Report higher-ranked trait error when higher-ranked projection goal fails in new solver

2025-04-09 17:53:32 +00:00

subtype

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

trait-bounds

Region inference: Use outlives-static constraints in constraint search

2025-08-22 13:38:22 +02:00

anonymous-higher-ranked-lifetime.rs

Adjust anonymous-higher-ranked-lifetime.rs

2024-12-10 11:31:13 +08:00

anonymous-higher-ranked-lifetime.stderr

Adjust anonymous-higher-ranked-lifetime.rs

2024-12-10 11:31:13 +08:00

builtin-closure-like-bounds.rs

Stabilize the 2024 edition

2024-11-22 11:12:15 -08:00

closure-bound-codegen-ice.rs

Fix obligation param and bless tests

2024-04-01 22:48:23 -04:00

erroneous-lifetime-bound.rs

Move binder and polarity parsing into parse_generic_ty_bound

2024-06-28 19:40:31 -04:00

erroneous-lifetime-bound.stderr

Move binder and polarity parsing into parse_generic_ty_bound

2024-06-28 19:40:31 -04:00

higher-lifetime-bounds.rs

Simple modification of diagnostic information

2023-12-21 10:17:11 +08:00

higher-lifetime-bounds.stderr

Simple modification of diagnostic information

2023-12-21 10:17:11 +08:00

higher-ranked-encoding.rs

cleaned up some tests

2025-07-01 16:26:57 +05:00

higher-ranked-invalid-bounds.rs

cleaned up some tests

2025-06-03 07:38:06 +05:00

higher-ranked-invalid-bounds.stderr

cleaned up some tests

2025-06-03 07:38:06 +05:00

higher-ranked-lifetime-equality.rs

Make nll higher ranked equate use bidirectional subtyping in invariant context

2024-02-29 15:27:59 -03:00

higher-ranked-lifetime-equality.stderr

Make nll higher ranked equate use bidirectional subtyping in invariant context

2024-02-29 15:27:59 -03:00

higher-ranked-lifetime-error.rs

eagerly instantiate binders to avoid relying on sub

2024-03-14 17:19:40 +01:00

higher-ranked-lifetime-error.stderr

Region inference: Use outlives-static constraints in constraint search

2025-08-22 13:38:22 +02:00

structually-relate-aliases.rs

Assert that obligations are empty before deeply normalizing

2024-12-02 22:51:18 +00:00

structually-relate-aliases.stderr

Remove Symbol for Named LateParam/Bound variants

2025-07-04 18:14:22 +00:00

subtyping-fn-ptr-coercion.rs

Use the right type when coercing fn items to pointers

2024-08-13 16:23:20 -04:00

well-formed-aliases.rs

Okay actually check only alias TYPES

2024-05-21 15:56:10 -04:00

well-formed-aliases.stderr

Okay actually check only alias TYPES

2024-05-21 15:56:10 -04:00