diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-06-04 16:20:01 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-07-24 16:00:48 +0000 |
| commit | 8ea461da5595067433803555b3fdb00d75e95b83 (patch) | |
| tree | df88ee8be8ba5dc49ae5b96fbb7ec91dd12e0dfe /tests/ui/impl-trait/auto-trait-selection.next.stderr | |
| parent | 548c44760f14c4547971e0359715f871ce9867bd (diff) | |
| download | rust-8ea461da5595067433803555b3fdb00d75e95b83.tar.gz rust-8ea461da5595067433803555b3fdb00d75e95b83.zip | |
Do not assemble candidates for auto traits of opaque types in their defining scope
Diffstat (limited to 'tests/ui/impl-trait/auto-trait-selection.next.stderr')
| -rw-r--r-- | tests/ui/impl-trait/auto-trait-selection.next.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/ui/impl-trait/auto-trait-selection.next.stderr b/tests/ui/impl-trait/auto-trait-selection.next.stderr index 2e8d7ad99b2..d34fdcc4496 100644 --- a/tests/ui/impl-trait/auto-trait-selection.next.stderr +++ b/tests/ui/impl-trait/auto-trait-selection.next.stderr @@ -1,5 +1,5 @@ error[E0283]: type annotations needed - --> $DIR/auto-trait-selection.rs:16:16 + --> $DIR/auto-trait-selection.rs:15:16 | LL | if false { is_trait(foo()) } else { Default::default() } | ^^^^^^^^ ----- type must be known at this point @@ -8,7 +8,7 @@ LL | if false { is_trait(foo()) } else { Default::default() } | = note: cannot satisfy `_: Trait<_>` note: required by a bound in `is_trait` - --> $DIR/auto-trait-selection.rs:8:16 + --> $DIR/auto-trait-selection.rs:7:16 | LL | fn is_trait<T: Trait<U>, U: Default>(_: T) -> U { | ^^^^^^^^ required by this bound in `is_trait` |