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