diff options
| author | Michael Goulet <michael@errs.io> | 2023-03-25 23:34:49 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-03-25 23:51:08 +0000 |
| commit | 20679b11662908315bc2600b5103f60103a4b0ae (patch) | |
| tree | 0f1673aca9b0bc6f77a3fa302ee8e54efb7bf57c /compiler | |
| parent | 96bd50dd47b645efa52d1312b9cc32e507d9cd76 (diff) | |
| download | rust-20679b11662908315bc2600b5103f60103a4b0ae.tar.gz rust-20679b11662908315bc2600b5103f60103a4b0ae.zip | |
Still-further-specializable projections are ambiguous
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/rustc_trait_selection/src/solve/project_goals.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/solve/project_goals.rs b/compiler/rustc_trait_selection/src/solve/project_goals.rs index 525b3105538..14c5b83c6ca 100644 --- 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() { |