Matthias Krüger 28b9354bf6 Rollup merge of #109447 - lcnr:coherence, r=compiler-errors ... new solver cleanup + implement coherence the cleanup: - change `Certainty::unify_and` to consider ambig + overflow to be ambig - rename `trait_candidate_should_be_dropped_in_favor_of` to `candidate_should_be_dropped_in_favor_of` - remove outdated fixme For coherence I mostly just add an ambiguous candidate if the current trait ref is unknowable. I am doing the same for reservation impl where I also just add an ambiguous candidate.		2023-03-22 22:44:43 +01:00
..
coherence	new solver cleanup + coherence	2023-03-21 16:27:25 +01:00
alias_eq_cant_be_furthur_normalized.rs	Add tests	2023-02-10 14:56:28 +00:00
alias_eq_dont_use_normalizes_to_if_substs_eq.rs	Add tests	2023-02-10 14:56:28 +00:00
alias_eq_dont_use_normalizes_to_if_substs_eq.stderr	Add tests	2023-02-10 14:56:28 +00:00
alias_eq_simple.rs	Add tests	2023-02-10 14:56:28 +00:00
alias_eq_substs_eq_not_intercrate.rs	Add tests	2023-02-10 14:56:28 +00:00
alias_eq_substs_eq_not_intercrate.stderr	Add tests	2023-02-10 14:56:28 +00:00
async.fail.stderr	Implement Generator and Future	2023-01-26 03:15:36 +00:00
async.rs	Implement Generator and Future	2023-01-26 03:15:36 +00:00
builtin-fn-must-return-sized.rs	Check that built-in callable types validate their output type is Sized (in new solver)	2023-02-18 19:32:58 +00:00
builtin-fn-must-return-sized.stderr	Check that built-in callable types validate their output type is Sized (in new solver)	2023-02-18 19:32:58 +00:00
canonical-int-var-eq-in-response.rs	Fix canonicalizer bug for int/float vars too	2023-03-09 17:24:07 +00:00
canonical-ty-var-eq-in-response.rs	Canonicalize the ROOT VAR	2023-03-07 17:11:35 +00:00
cast-checks-handling-projections.rs	Commit some tests for the new solver + lazy norm	2023-03-11 23:16:46 +00:00
deduce-ty-from-object.rs	Canonicalize the ROOT VAR	2023-03-07 17:11:35 +00:00
elaborate-item-bounds.rs	Use elaborated item bounds for alias types	2023-02-09 17:16:47 +00:00
equating-projection-cyclically.rs	Commit some tests for the new solver + lazy norm	2023-03-11 23:16:46 +00:00
equating-projection-cyclically.stderr	Commit some tests for the new solver + lazy norm	2023-03-11 23:16:46 +00:00
fn-trait-closure.rs	fn-trait-closure test now pass on new solver	2023-01-22 12:36:58 -03:00
fn-trait.rs	Also check function items' signatures for Fn* trait compatibility	2023-03-21 11:50:14 +00:00
fn-trait.stderr	Also check function items' signatures for Fn* trait compatibility	2023-03-21 11:50:14 +00:00
generator.fail.stderr	Implement Generator and Future	2023-01-26 03:15:36 +00:00
generator.rs	Implement Generator and Future	2023-01-26 03:15:36 +00:00
higher-ranked-dyn-bounds.rs	Make higher-ranked projections in object types work in new solver	2023-02-24 02:48:44 +00:00
int-var-alias-eq.rs	Emit alias-eq when equating numeric var and projection	2023-03-09 16:42:56 +00:00
lazy-nested-obligations-1.rs	Commit some tests for the new solver + lazy norm	2023-03-11 23:16:46 +00:00
lazy-nested-obligations-2.rs	Commit some tests for the new solver + lazy norm	2023-03-11 23:16:46 +00:00
lazy-nested-obligations-3.rs	Commit some tests for the new solver + lazy norm	2023-03-11 23:16:46 +00:00
more-object-bound.rs	Comments, another test	2023-02-24 02:53:25 +00:00
more-object-bound.stderr	Comments, another test	2023-02-24 02:53:25 +00:00
nested-obligations-with-bound-vars-gat.rs	Add a test that used to take forever to compile	2023-03-13 16:34:16 +00:00
normalize-param-env-1.rs	Commit some tests for the new solver + lazy norm	2023-03-11 23:16:46 +00:00
normalize-param-env-2.rs	Commit some tests for the new solver + lazy norm	2023-03-11 23:16:46 +00:00
normalize-param-env-3.rs	Commit some tests for the new solver + lazy norm	2023-03-11 23:16:46 +00:00
normalizes_to_ignores_unnormalizable_candidate.rs	Add tests	2023-02-10 14:56:28 +00:00
normalizes_to_ignores_unnormalizable_candidate.self_infer.stderr	Add tests	2023-02-10 14:56:28 +00:00
object-unsafety.rs	Check object's supertrait and associated type bounds in new solver	2023-02-24 02:45:05 +00:00
object-unsafety.stderr	Check object's supertrait and associated type bounds in new solver	2023-02-24 02:45:05 +00:00
param-candidate-doesnt-shadow-project.rs	Add a couple random projection tests	2023-02-10 18:14:09 +00:00
pointee.rs	implement builtin candidate	2023-01-24 23:24:30 +00:00
pointer-like.rs	Rename PointerSized to PointerLike	2023-02-07 19:05:53 +00:00
pointer-like.stderr	Rename PointerSized to PointerLike	2023-02-07 19:05:53 +00:00
provisional-result-done.rs	Multiple candidates with same response is not ambiguous	2023-02-10 00:35:25 +00:00
runaway-impl-candidate-selection.rs	Treat projections with infer as placeholder during fast reject in new solver	2023-03-13 16:34:16 +00:00
runaway-impl-candidate-selection.stderr	Treat projections with infer as placeholder during fast reject in new solver	2023-03-13 16:34:16 +00:00
temporary-ambiguity.rs	Implement a dummy drop-in-favor-of for the new solver	2023-02-09 17:22:37 +00:00
try-example.rs	Commit some new solver tests	2023-02-27 05:23:26 +00:00
two-projection-param-candidates-are-ambiguous.rs	Add a couple random projection tests	2023-02-10 18:14:09 +00:00
two-projection-param-candidates-are-ambiguous.stderr	Add a couple random projection tests	2023-02-10 18:14:09 +00:00
unsafe-auto-trait-impl.rs	Disqualify auto-trait builtin impl in new solver if impl exists	2023-02-09 17:23:50 +00:00
unsize-good.rs	Implement unsizing in the new trait solver	2023-01-30 19:11:01 +00:00
upcast-right-substs.rs	Trait upcasting support in new solver	2023-01-30 19:11:01 +00:00
upcast-wrong-substs.rs	Trait upcasting support in new solver	2023-01-30 19:11:01 +00:00
upcast-wrong-substs.stderr	Trait upcasting support in new solver	2023-01-30 19:11:01 +00:00