Michael Goulet e1485202ac Commit some new solver tests

2023-02-27 05:23:26 +00: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

…

async.rs

…

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

elaborate-item-bounds.rs

Use elaborated item bounds for alias types

2023-02-09 17:16:47 +00:00

fn-trait-closure.rs

…

fn-trait.rs

…

generator.fail.stderr

…

generator.rs

…

higher-ranked-dyn-bounds.rs

Make higher-ranked projections in object types work in new solver

2023-02-24 02:48:44 +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

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

…

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

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

…

upcast-right-substs.rs

…

upcast-wrong-substs.rs

…

upcast-wrong-substs.stderr

…