diff options
| author | Gavin Gray <gavinleroy6@gmail.com> | 2023-11-14 13:55:59 +0100 |
|---|---|---|
| committer | Gavin Gray <gavinleroy6@gmail.com> | 2023-11-14 13:55:59 +0100 |
| commit | caae1e08ecfa67f5ab3ccf8b7edf20c252c2268a (patch) | |
| tree | b5ff5a477af8787055de42d44700e07e78bde188 /tests/ui/impl-trait | |
| parent | 60d99ab8837e973c0df5fe518a2ed136c8ac0f20 (diff) | |
| download | rust-caae1e08ecfa67f5ab3ccf8b7edf20c252c2268a.tar.gz rust-caae1e08ecfa67f5ab3ccf8b7edf20c252c2268a.zip | |
Add guard checking for associated types before computing intercrate ambiguity of projections. Bless test with more specific notes on the ambiguity cause.
Diffstat (limited to 'tests/ui/impl-trait')
| -rw-r--r-- | tests/ui/impl-trait/auto-trait-coherence.next.stderr | 2 |
1 files changed, 2 insertions, 0 deletions
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<T: Send> AnotherTrait for T {} ... LL | impl AnotherTrait for D<OpaqueType> { | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `D<OpaqueType>` + | + = 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 |