rust/tests/ui/traits/next-solver/coherence
Michael Goulet d3e510eb9d Don't ICE because recomputing overflow goals during find_best_leaf_obligation causes inference side-effects 2024-05-16 10:00:11 -04:00
..
ambiguity-causes-canonical-state-ice-1.rs analyse visitor: build proof tree in probe 2024-05-09 17:29:53 +00:00
ambiguity-causes-canonical-state-ice-2.rs analyse visitor: build proof tree in probe 2024-05-09 17:29:53 +00:00
ambiguity-causes-canonical-state-ice-2.stderr analyse visitor: build proof tree in probe 2024-05-09 17:29:53 +00:00
coherence-fulfill-overflow.rs move tests 2024-03-18 16:29:00 +01:00
coherence-fulfill-overflow.stderr Don't ICE because recomputing overflow goals during find_best_leaf_obligation causes inference side-effects 2024-05-16 10:00:11 -04:00
issue-102048.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
issue-102048.stderr consistently use "next solver" instead of "new solver" 2023-12-14 15:22:37 +01:00
negative-coherence-bounds.rs move tests 2024-03-18 16:29:00 +01:00
negative-coherence-bounds.stderr move tests 2024-03-18 16:29:00 +01:00
trait_ref_is_knowable-norm-overflow.rs update tests 2024-02-26 10:57:46 +01:00
trait_ref_is_knowable-norm-overflow.stderr `NormalizesTo` return nested goals 2024-03-18 15:53:16 +01:00
trait_ref_is_knowable-normalization-1.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
trait_ref_is_knowable-normalization-2.rs [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00
trait_ref_is_knowable-normalization-3.rs update tests 2024-02-26 10:57:46 +01:00