diff options
| author | Esteban Kuber <esteban@kuber.com.ar> | 2021-12-11 02:20:41 +0000 |
|---|---|---|
| committer | Esteban Kuber <esteban@kuber.com.ar> | 2021-12-11 02:32:15 +0000 |
| commit | 5e1972eba7e95e68f6fc05b07dec15fb1e553e1b (patch) | |
| tree | fd01764b7ebb5b4c0f952c4fbce21d2a48b1d0e1 /src/test/ui/traits/inductive-overflow | |
| parent | f0448f44bcda55fd9eb71da82495ef648eedb4e4 (diff) | |
| download | rust-5e1972eba7e95e68f6fc05b07dec15fb1e553e1b.tar.gz rust-5e1972eba7e95e68f6fc05b07dec15fb1e553e1b.zip | |
Tweak assoc type obligation spans
* Point at RHS of associated type in obligation span * Point at `impl` assoc type on projection error * Reduce verbosity of recursive obligations * Point at source of binding lifetime obligation * Tweak "required bound" note * Tweak "expected... found opaque (return) type" labels * Point at set type in impl assoc type WF errors
Diffstat (limited to 'src/test/ui/traits/inductive-overflow')
| -rw-r--r-- | src/test/ui/traits/inductive-overflow/lifetime.rs | 1 | ||||
| -rw-r--r-- | src/test/ui/traits/inductive-overflow/lifetime.stderr | 2 | ||||
| -rw-r--r-- | src/test/ui/traits/inductive-overflow/two-traits.stderr | 4 |
3 files changed, 4 insertions, 3 deletions
diff --git a/src/test/ui/traits/inductive-overflow/lifetime.rs b/src/test/ui/traits/inductive-overflow/lifetime.rs index 8be42fc4ad0..c36c17d3d24 100644 --- a/src/test/ui/traits/inductive-overflow/lifetime.rs +++ b/src/test/ui/traits/inductive-overflow/lifetime.rs @@ -22,6 +22,7 @@ impl<'a> NotAuto for C<'a> {} fn is_send<S: NotAuto>() {} //~^ NOTE: required //~| NOTE: required + fn main() { // Should only be a few notes. is_send::<X<C<'static>>>(); diff --git a/src/test/ui/traits/inductive-overflow/lifetime.stderr b/src/test/ui/traits/inductive-overflow/lifetime.stderr index 2ffcdb0e1c6..9ca615aacee 100644 --- a/src/test/ui/traits/inductive-overflow/lifetime.stderr +++ b/src/test/ui/traits/inductive-overflow/lifetime.stderr @@ -1,5 +1,5 @@ error[E0275]: overflow evaluating the requirement `X<C<'_>>: NotAuto` - --> $DIR/lifetime.rs:27:5 + --> $DIR/lifetime.rs:28:5 | LL | is_send::<X<C<'static>>>(); | ^^^^^^^^^^^^^^^^^^^^^^^^ diff --git a/src/test/ui/traits/inductive-overflow/two-traits.stderr b/src/test/ui/traits/inductive-overflow/two-traits.stderr index 28610c94181..0d0bf88616c 100644 --- a/src/test/ui/traits/inductive-overflow/two-traits.stderr +++ b/src/test/ui/traits/inductive-overflow/two-traits.stderr @@ -1,8 +1,8 @@ error[E0277]: `T` cannot be shared between threads safely - --> $DIR/two-traits.rs:11:5 + --> $DIR/two-traits.rs:11:14 | LL | type X = Self; - | ^^^^^^^^^^^^^^ `T` cannot be shared between threads safely + | ^^^^ `T` cannot be shared between threads safely | note: required by a bound in `Magic::X` --> $DIR/two-traits.rs:8:13 |