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

…

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

…

higher-lifetime-bounds.stderr

…

higher-ranked-lifetime-equality.rs

…

higher-ranked-lifetime-equality.stderr

…

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