Michael Goulet 3e03b1b190 Use a proof tree visitor to refine the Obligation for error reporting		2024-05-02 21:56:14 -04:00
..
leak-check	Use a proof tree visitor to refine the Obligation for error reporting	2024-05-02 21:56:14 -04:00
subtype	[AUTO-GENERATED] Migrate ui tests from // to //@ directives	2024-02-16 20:02:50 +00:00
trait-bounds	rebase oddity	2024-04-03 22:48:55 +01:00
builtin-closure-like-bounds.rs	Fix obligation param and bless tests	2024-04-01 22:48:23 -04:00
closure-bound-codegen-ice.rs	Fix obligation param and bless tests	2024-04-01 22:48:23 -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-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	eagerly instantiate binders to avoid relying on sub	2024-03-14 17:19:40 +01:00
structually-relate-aliases.rs	Add test in higher-ranked	2024-03-23 23:33:43 +08:00
structually-relate-aliases.stderr	Add test in higher-ranked	2024-03-23 23:33:43 +08:00