From caae1e08ecfa67f5ab3ccf8b7edf20c252c2268a Mon Sep 17 00:00:00 2001 From: Gavin Gray Date: Tue, 14 Nov 2023 13:55:59 +0100 Subject: Add guard checking for associated types before computing intercrate ambiguity of projections. Bless test with more specific notes on the ambiguity cause. --- tests/ui/impl-trait/auto-trait-coherence.next.stderr | 2 ++ 1 file changed, 2 insertions(+) (limited to 'tests/ui/impl-trait') diff --git a/tests/ui/impl-trait/auto-trait-coherence.next.stderr b/tests/ui/impl-trait/auto-trait-coherence.next.stderr index 7833ac688ba..cee359997b4 100644 --- a/tests/ui/impl-trait/auto-trait-coherence.next.stderr +++ b/tests/ui/impl-trait/auto-trait-coherence.next.stderr @@ -6,6 +6,8 @@ LL | impl AnotherTrait for T {} ... LL | impl AnotherTrait for D { | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `D` + | + = note: upstream crates may add a new impl of trait `std::marker::Send` for type `OpaqueType` in future versions error: aborting due to previous error -- cgit 1.4.1-3-g733a5