Michael Goulet 44040a0670 Also passthrough for projection clauses		2024-06-12 19:10:02 -04:00
..
ambig-env-no-shadow.rs	[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives	2024-02-16 20:02:50 +00:00
discard-impls-shadowed-by-env-1.rs	[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives	2024-02-16 20:02:50 +00:00
discard-impls-shadowed-by-env-2.rs	Ignore tests w/ current/next revisions from compare-mode=next-solver	2024-03-10 21:18:41 -04:00
discard-impls-shadowed-by-env-3.rs	[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives	2024-02-16 20:02:50 +00:00
normalizes_to_ignores_unnormalizable_candidate.rs	[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives	2024-02-16 20:02:50 +00:00
normalizes_to_ignores_unnormalizable_candidate.stderr	hide impls if trait bound is proven from env	2024-02-09 12:41:39 +01:00
param-candidate-shadows-project.rs	Use a proof tree visitor to refine the Obligation for error reporting	2024-05-02 21:56:14 -04:00
param-candidate-shadows-project.stderr	Also passthrough for projection clauses	2024-06-12 19:10:02 -04:00
param-env-impl-conflict.rs	Add some new solver tests	2024-03-08 15:54:04 +00:00