Still-further-specializable projections are ambiguous

2023-03-25 23:34:49 +00:00
parent 96bd50dd47
commit 20679b1166
3 changed files with 48 additions and 1 deletions
--- a/compiler/rustc_trait_selection/src/solve/project_goals.rs
+++ b/compiler/rustc_trait_selection/src/solve/project_goals.rs
@@ -174,7 +174,7 @@ impl<'tcx> assembly::GoalKind<'tcx> for ProjectionPredicate<'tcx> {
                goal.predicate.def_id(),
                impl_def_id
            )? else {
-                return ecx.evaluate_added_goals_and_make_canonical_response(Certainty::Yes);
+                return ecx.evaluate_added_goals_and_make_canonical_response(Certainty::AMBIGUOUS);
            };

            if !assoc_def.item.defaultness(tcx).has_value() {