bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Add label to item source of bound obligation

Browse source
This commit is contained in:
Esteban Küber 2020-04-18 16:36:46 -07:00
parent ce936e9336
commit d9a5419ef4
32 changed files with 61 additions and 61 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/librustc_trait_selection/traits/error_reporting/suggestions.rs
View file

@ -1532,14 +1532,14 @@ impl<'a, 'tcx> InferCtxtExt<'tcx> for InferCtxt<'a, 'tcx> {
let item_name = tcx.def_path_str(item_def_id);
let msg = format!("required by this bound in `{}`", item_name);
if let Some(ident) = tcx.opt_item_name(item_def_id) {
let sm = self.tcx.sess.source_map();
let sm = tcx.sess.source_map();
let same_line =
match (sm.lookup_line(ident.span.hi()), sm.lookup_line(span.lo())) {
(Ok(l), Ok(r)) => l.line == r.line,
_ => true,
};
if !ident.span.overlaps(span) && !same_line {
err.span_label(ident.span, "");
err.span_label(ident.span, "required by a bound in this");
}
}
if span != DUMMY_SP {

8
src/test/ui/associated-type-bounds/bad-bounds-on-assoc-in-trait.stderr
View file

@ -2,7 +2,7 @@ error[E0277]: `<L1 as Lam<&'a u8>>::App` doesn't implement `std::fmt::Debug`
--> $DIR/bad-bounds-on-assoc-in-trait.rs:31:6
|
LL | trait Case1 {
| -----
| ----- required by a bound in this
...
LL | Debug
| ----- required by this bound in `Case1`
@ -26,7 +26,7 @@ error[E0277]: `<<T as Case1>::C as std::iter::Iterator>::Item` cannot be sent be
--> $DIR/bad-bounds-on-assoc-in-trait.rs:36:20
|
LL | trait Case1 {
| -----
| ----- required by a bound in this
LL | type C: Clone + Iterator<Item:
LL | Send + Iterator<Item:
| ---- required by this bound in `Case1`
@ -42,7 +42,7 @@ error[E0277]: `<<T as Case1>::C as std::iter::Iterator>::Item` cannot be shared
--> $DIR/bad-bounds-on-assoc-in-trait.rs:36:20
|
LL | trait Case1 {
| -----
| ----- required by a bound in this
...
LL | > + Sync>;
| ---- required by this bound in `Case1`
@ -58,7 +58,7 @@ error[E0277]: `<_ as Lam<&'a u8>>::App` doesn't implement `std::fmt::Debug`
--> $DIR/bad-bounds-on-assoc-in-trait.rs:36:20
|
LL | trait Case1 {
| -----
| ----- required by a bound in this
...
LL | Debug
| ----- required by this bound in `Case1`

14
src/test/ui/associated-types/associated-types-eq-hr.stderr
View file

@ -2,7 +2,7 @@ error[E0271]: type mismatch resolving `for<'x> <UintStruct as TheTrait<&'x isize
--> $DIR/associated-types-eq-hr.rs:82:5
|
LL | fn foo<T>()
| ---
| --- required by a bound in this
LL | where T : for<'x> TheTrait<&'x isize, A = &'x isize>
| ------------- required by this bound in `foo`
...
@ -16,7 +16,7 @@ error[E0271]: type mismatch resolving `for<'x> <IntStruct as TheTrait<&'x isize>
--> $DIR/associated-types-eq-hr.rs:86:5
|
LL | fn bar<T>()
| ---
| --- required by a bound in this
LL | where T : for<'x> TheTrait<&'x isize, A = &'x usize>
| ------------- required by this bound in `bar`
...
@ -30,7 +30,7 @@ error[E0277]: the trait bound `for<'x, 'y> Tuple: TheTrait<(&'x isize, &'y isize
--> $DIR/associated-types-eq-hr.rs:91:17
|
LL | fn tuple_one<T>()
| ---------
| --------- required by a bound in this
LL | where T : for<'x,'y> TheTrait<(&'x isize, &'y isize), A = &'x isize>
| ---------------------------------------------------------- required by this bound in `tuple_one`
...
@ -44,7 +44,7 @@ error[E0271]: type mismatch resolving `for<'x, 'y> <Tuple as TheTrait<(&'x isize
--> $DIR/associated-types-eq-hr.rs:91:5
|
LL | fn tuple_one<T>()
| ---------
| --------- required by a bound in this
LL | where T : for<'x,'y> TheTrait<(&'x isize, &'y isize), A = &'x isize>
| ------------- required by this bound in `tuple_one`
...
@ -55,7 +55,7 @@ error[E0277]: the trait bound `for<'x, 'y> Tuple: TheTrait<(&'x isize, &'y isize
--> $DIR/associated-types-eq-hr.rs:97:17
|
LL | fn tuple_two<T>()
| ---------
| --------- required by a bound in this
LL | where T : for<'x,'y> TheTrait<(&'x isize, &'y isize), A = &'y isize>
| ---------------------------------------------------------- required by this bound in `tuple_two`
...
@ -69,7 +69,7 @@ error[E0271]: type mismatch resolving `for<'x, 'y> <Tuple as TheTrait<(&'x isize
--> $DIR/associated-types-eq-hr.rs:97:5
|
LL | fn tuple_two<T>()
| ---------
| --------- required by a bound in this
LL | where T : for<'x,'y> TheTrait<(&'x isize, &'y isize), A = &'y isize>
| ------------- required by this bound in `tuple_two`
...
@ -80,7 +80,7 @@ error[E0277]: the trait bound `for<'x, 'y> Tuple: TheTrait<(&'x isize, &'y isize
--> $DIR/associated-types-eq-hr.rs:107:18
|
LL | fn tuple_four<T>()
| ----------
| ---------- required by a bound in this
LL | where T : for<'x,'y> TheTrait<(&'x isize, &'y isize)>
| ------------------------------------------- required by this bound in `tuple_four`
...

8
src/test/ui/associated-types/defaults-unsound-62211-1.stderr
View file

@ -43,7 +43,7 @@ error[E0277]: `T` doesn't implement `std::fmt::Display`
--> $DIR/defaults-unsound-62211-1.rs:41:9
|
LL | trait UncheckedCopy: Sized {
| -------------
| ------------- required by a bound in this
...
LL | + Display = Self;
| ------- required by this bound in `UncheckedCopy`
@ -62,7 +62,7 @@ error[E0277]: the trait bound `T: std::ops::Deref` is not satisfied
--> $DIR/defaults-unsound-62211-1.rs:41:9
|
LL | trait UncheckedCopy: Sized {
| -------------
| ------------- required by a bound in this
...
LL | + Deref<Target = str>
| ------------------- required by this bound in `UncheckedCopy`
@ -79,7 +79,7 @@ error[E0277]: cannot add-assign `&'static str` to `T`
--> $DIR/defaults-unsound-62211-1.rs:41:9
|
LL | trait UncheckedCopy: Sized {
| -------------
| ------------- required by a bound in this
...
LL | + AddAssign<&'static str>
| ----------------------- required by this bound in `UncheckedCopy`
@ -97,7 +97,7 @@ error[E0277]: the trait bound `T: std::marker::Copy` is not satisfied
--> $DIR/defaults-unsound-62211-1.rs:41:9
|
LL | trait UncheckedCopy: Sized {
| -------------
| ------------- required by a bound in this
...
LL | type Output: Copy
| ---- required by this bound in `UncheckedCopy`

8
src/test/ui/associated-types/defaults-unsound-62211-2.stderr
View file

@ -43,7 +43,7 @@ error[E0277]: `T` doesn't implement `std::fmt::Display`
--> $DIR/defaults-unsound-62211-2.rs:41:9
|
LL | trait UncheckedCopy: Sized {
| -------------
| ------------- required by a bound in this
...
LL | + Display = Self;
| ------- required by this bound in `UncheckedCopy`
@ -62,7 +62,7 @@ error[E0277]: the trait bound `T: std::ops::Deref` is not satisfied
--> $DIR/defaults-unsound-62211-2.rs:41:9
|
LL | trait UncheckedCopy: Sized {
| -------------
| ------------- required by a bound in this
...
LL | + Deref<Target = str>
| ------------------- required by this bound in `UncheckedCopy`
@ -79,7 +79,7 @@ error[E0277]: cannot add-assign `&'static str` to `T`
--> $DIR/defaults-unsound-62211-2.rs:41:9
|
LL | trait UncheckedCopy: Sized {
| -------------
| ------------- required by a bound in this
...
LL | + AddAssign<&'static str>
| ----------------------- required by this bound in `UncheckedCopy`
@ -97,7 +97,7 @@ error[E0277]: the trait bound `T: std::marker::Copy` is not satisfied
--> $DIR/defaults-unsound-62211-2.rs:41:9
|
LL | trait UncheckedCopy: Sized {
| -------------
| ------------- required by a bound in this
...
LL | type Output: Copy
| ---- required by this bound in `UncheckedCopy`

2
src/test/ui/associated-types/higher-ranked-projection.bad.stderr
View file

@ -2,7 +2,7 @@ error[E0271]: type mismatch resolving `for<'a> <&'a _ as Mirror>::Image == _`
--> $DIR/higher-ranked-projection.rs:25:5
|
LL | fn foo<U, T>(_t: T)
| ---
| --- required by a bound in this
LL | where for<'a> &'a T: Mirror<Image=U>
| ------- required by this bound in `foo`
...

4
src/test/ui/associated-types/issue-43924.stderr
View file

@ -10,7 +10,7 @@ error[E0277]: the trait bound `(dyn std::string::ToString + 'static): std::defau
--> $DIR/issue-43924.rs:10:6
|
LL | trait Foo<T: Default + ToString> {
| ---
| --- required by a bound in this
LL | type Out: Default + ToString + ?Sized = dyn ToString;
| ------- required by this bound in `Foo`
...
@ -21,7 +21,7 @@ error[E0277]: the trait bound `(dyn std::string::ToString + 'static): std::defau
--> $DIR/issue-43924.rs:11:6
|
LL | trait Foo<T: Default + ToString> {
| ---
| --- required by a bound in this
LL | type Out: Default + ToString + ?Sized = dyn ToString;
| ------- required by this bound in `Foo`
...

2
src/test/ui/associated-types/issue-65774-1.stderr
View file

@ -10,7 +10,7 @@ error[E0277]: the trait bound `T: MyDisplay` is not satisfied
--> $DIR/issue-65774-1.rs:16:6
|
LL | trait MPU {
| ---
| --- required by a bound in this
LL | type MpuConfig: MyDisplay = T;
| --------- required by this bound in `MPU`
...

2
src/test/ui/associated-types/issue-65774-2.stderr
View file

@ -10,7 +10,7 @@ error[E0277]: the trait bound `T: MyDisplay` is not satisfied
--> $DIR/issue-65774-2.rs:16:6
|
LL | trait MPU {
| ---
| --- required by a bound in this
LL | type MpuConfig: MyDisplay = T;
| --------- required by this bound in `MPU`
...

2
src/test/ui/associated-types/point-at-type-on-obligation-failure-2.stderr
View file

@ -2,7 +2,7 @@ error[E0277]: the trait bound `bool: Bar` is not satisfied
--> $DIR/point-at-type-on-obligation-failure-2.rs:8:18
|
LL | trait Foo {
| ---
| --- required by a bound in this
LL | type Assoc: Bar;
| --- required by this bound in `Foo`
...

6
src/test/ui/closure-expected-type/expect-fn-supply-fn.nll.stderr
View file

@ -2,7 +2,7 @@ error[E0631]: type mismatch in closure arguments
--> $DIR/expect-fn-supply-fn.rs:30:5
|
LL | fn with_closure_expecting_fn_with_free_region<F>(_: F)
| ------------------------------------------
| ------------------------------------------ required by a bound in this
LL | where F: for<'a> FnOnce(fn(&'a u32), &i32)
| ------------------------- required by this bound in `with_closure_expecting_fn_with_free_region`
...
@ -15,7 +15,7 @@ error[E0631]: type mismatch in closure arguments
--> $DIR/expect-fn-supply-fn.rs:37:5
|
LL | fn with_closure_expecting_fn_with_bound_region<F>(_: F)
| -------------------------------------------
| ------------------------------------------- required by a bound in this
LL | where F: FnOnce(fn(&u32), &i32)
| ---------------------- required by this bound in `with_closure_expecting_fn_with_bound_region`
...
@ -28,7 +28,7 @@ error[E0631]: type mismatch in closure arguments
--> $DIR/expect-fn-supply-fn.rs:46:5
|
LL | fn with_closure_expecting_fn_with_bound_region<F>(_: F)
| -------------------------------------------
| ------------------------------------------- required by a bound in this
LL | where F: FnOnce(fn(&u32), &i32)
| ---------------------- required by this bound in `with_closure_expecting_fn_with_bound_region`
...

6
src/test/ui/closure-expected-type/expect-fn-supply-fn.stderr
View file

@ -40,7 +40,7 @@ error[E0631]: type mismatch in closure arguments
--> $DIR/expect-fn-supply-fn.rs:30:5
|
LL | fn with_closure_expecting_fn_with_free_region<F>(_: F)
| ------------------------------------------
| ------------------------------------------ required by a bound in this
LL | where F: for<'a> FnOnce(fn(&'a u32), &i32)
| ------------------------- required by this bound in `with_closure_expecting_fn_with_free_region`
...
@ -53,7 +53,7 @@ error[E0631]: type mismatch in closure arguments
--> $DIR/expect-fn-supply-fn.rs:37:5
|
LL | fn with_closure_expecting_fn_with_bound_region<F>(_: F)
| -------------------------------------------
| ------------------------------------------- required by a bound in this
LL | where F: FnOnce(fn(&u32), &i32)
| ---------------------- required by this bound in `with_closure_expecting_fn_with_bound_region`
...
@ -66,7 +66,7 @@ error[E0631]: type mismatch in closure arguments
--> $DIR/expect-fn-supply-fn.rs:46:5
|
LL | fn with_closure_expecting_fn_with_bound_region<F>(_: F)
| -------------------------------------------
| ------------------------------------------- required by a bound in this
LL | where F: FnOnce(fn(&u32), &i32)
| ---------------------- required by this bound in `with_closure_expecting_fn_with_bound_region`
...

2
src/test/ui/closure-expected-type/expect-infer-var-appearing-twice.stderr
View file

@ -2,7 +2,7 @@ error[E0631]: type mismatch in closure arguments
--> $DIR/expect-infer-var-appearing-twice.rs:14:5
|
LL | fn with_closure<F, A>(_: F)
| ------------
| ------------ required by a bound in this
LL | where F: FnOnce(A, A)
| ------------ required by this bound in `with_closure`
...

4
src/test/ui/generator/generator-yielding-or-returning-itself.stderr
View file

@ -2,7 +2,7 @@ error[E0271]: type mismatch resolving `<[generator@$DIR/generator-yielding-or-re
--> $DIR/generator-yielding-or-returning-itself.rs:15:5
|
LL | pub fn want_cyclic_generator_return<T>(_: T)
| ----------------------------
| ---------------------------- required by a bound in this
LL | where T: Generator<Yield = (), Return = T>
| ---------- required by this bound in `want_cyclic_generator_return`
...
@ -18,7 +18,7 @@ error[E0271]: type mismatch resolving `<[generator@$DIR/generator-yielding-or-re
--> $DIR/generator-yielding-or-returning-itself.rs:28:5
|
LL | pub fn want_cyclic_generator_yield<T>(_: T)
| ---------------------------
| --------------------------- required by a bound in this
LL | where T: Generator<Yield = T, Return = ()>
| --------- required by this bound in `want_cyclic_generator_yield`
...

2
src/test/ui/generic-associated-types/issue-62326-parameter-out-of-range.stderr
View file

@ -2,7 +2,7 @@ error[E0280]: the requirement `for<'a> <Self as Iterator>::Item<'a>: 'a` is not
--> $DIR/issue-62326-parameter-out-of-range.rs:7:20
|
LL | trait Iterator {
| --------
| -------- required by a bound in this
LL | type Item<'a>: 'a;
| ^^ required by this bound in `Iterator`

4
src/test/ui/generic-associated-types/iterable.stderr
View file

@ -24,7 +24,7 @@ error[E0271]: type mismatch resolving `for<'a> <<std::vec::Vec<T> as Iterable>::
--> $DIR/iterable.rs:19:30
|
LL | trait Iterable {
| --------
| -------- required by a bound in this
LL | type Item<'a> where Self: 'a;
LL | type Iter<'a>: Iterator<Item = Self::Item<'a>> where Self: 'a;
| --------------------- required by this bound in `Iterable`
@ -41,7 +41,7 @@ error[E0271]: type mismatch resolving `for<'a> <<[T] as Iterable>::Iter<'a> as s
--> $DIR/iterable.rs:31:30
|
LL | trait Iterable {
| --------
| -------- required by a bound in this
LL | type Item<'a> where Self: 'a;
LL | type Iter<'a>: Iterator<Item = Self::Item<'a>> where Self: 'a;
| --------------------- required by this bound in `Iterable`

2
src/test/ui/hrtb/hrtb-conflate-regions.stderr
View file

@ -2,7 +2,7 @@ error[E0277]: the trait bound `for<'a, 'b> SomeStruct: Foo<(&'a isize, &'b isize
--> $DIR/hrtb-conflate-regions.rs:27:22
|
LL | fn want_foo2<T>()
| ---------
| --------- required by a bound in this
LL | where T : for<'a,'b> Foo<(&'a isize, &'b isize)>
| -------------------------------------- required by this bound in `want_foo2`
...

2
src/test/ui/hrtb/hrtb-exists-forall-trait-contravariant.stderr
View file

@ -2,7 +2,7 @@ error[E0277]: the trait bound `(): Trait<for<'b> fn(&'b u32)>` is not satisfied
--> $DIR/hrtb-exists-forall-trait-contravariant.rs:34:11
|
LL | fn foo<T>()
| ---
| --- required by a bound in this
LL | where
LL | T: Trait<for<'b> fn(&'b u32)>,
| -------------------------- required by this bound in `foo`

2
src/test/ui/hrtb/hrtb-exists-forall-trait-covariant.stderr
View file

@ -2,7 +2,7 @@ error[E0277]: the trait bound `(): Trait<for<'b> fn(fn(&'b u32))>` is not satisf
--> $DIR/hrtb-exists-forall-trait-covariant.rs:36:11
|
LL | fn foo<T>()
| ---
| --- required by a bound in this
LL | where
LL | T: Trait<for<'b> fn(fn(&'b u32))>,
| ------------------------------ required by this bound in `foo`

2
src/test/ui/hrtb/hrtb-exists-forall-trait-invariant.stderr
View file

@ -2,7 +2,7 @@ error[E0277]: the trait bound `(): Trait<for<'b> fn(std::cell::Cell<&'b u32>)>`
--> $DIR/hrtb-exists-forall-trait-invariant.rs:28:11
|
LL | fn foo<T>()
| ---
| --- required by a bound in this
LL | where
LL | T: Trait<for<'b> fn(Cell<&'b u32>)>,
| -------------------------------- required by this bound in `foo`

2
src/test/ui/hrtb/hrtb-higher-ranker-supertraits-transitive.stderr
View file

@ -2,7 +2,7 @@ error[E0277]: the trait bound `for<'ccx> B: Bar<'ccx>` is not satisfied
--> $DIR/hrtb-higher-ranker-supertraits-transitive.rs:47:26
|
LL | fn want_bar_for_any_ccx<B>(b: &B)
| --------------------
| -------------------- required by a bound in this
LL | where B : for<'ccx> Bar<'ccx>
| ------------------- required by this bound in `want_bar_for_any_ccx`
...

4
src/test/ui/hrtb/hrtb-higher-ranker-supertraits.stderr
View file

@ -5,7 +5,7 @@ LL | want_foo_for_any_tcx(f);
| ^ the trait `for<'tcx> Foo<'tcx>` is not implemented for `F`
...
LL | fn want_foo_for_any_tcx<F>(f: &F)
| --------------------
| -------------------- required by a bound in this
LL | where F : for<'tcx> Foo<'tcx>
| ------------------- required by this bound in `want_foo_for_any_tcx`
|
@ -21,7 +21,7 @@ LL | want_bar_for_any_ccx(b);
| ^ the trait `for<'ccx> Bar<'ccx>` is not implemented for `B`
...
LL | fn want_bar_for_any_ccx<B>(b: &B)
| --------------------
| -------------------- required by a bound in this
LL | where B : for<'ccx> Bar<'ccx>
| ------------------- required by this bound in `want_bar_for_any_ccx`
|

4
src/test/ui/hrtb/hrtb-just-for-static.stderr
View file

@ -2,7 +2,7 @@ error[E0277]: the trait bound `for<'a> StaticInt: Foo<&'a isize>` is not satisfi
--> $DIR/hrtb-just-for-static.rs:24:17
|
LL | fn want_hrtb<T>()
| ---------
| --------- required by a bound in this
LL | where T : for<'a> Foo<&'a isize>
| ---------------------- required by this bound in `want_hrtb`
...
@ -16,7 +16,7 @@ error[E0277]: the trait bound `for<'a> &'a u32: Foo<&'a isize>` is not satisfied
--> $DIR/hrtb-just-for-static.rs:30:17
|
LL | fn want_hrtb<T>()
| ---------
| --------- required by a bound in this
LL | where T : for<'a> Foo<&'a isize>
| ---------------------- required by this bound in `want_hrtb`
...

2
src/test/ui/issues/issue-24204.stderr
View file

@ -2,7 +2,7 @@ error[E0271]: type mismatch resolving `<<T as Trait>::A as MultiDispatch<i32>>::
--> $DIR/issue-24204.rs:14:12
|
LL | trait Trait: Sized {
| -----
| ----- required by a bound in this
LL | type A: MultiDispatch<Self::B, O = Self>;
| -------- required by this bound in `Trait`
...

4
src/test/ui/issues/issue-43623.stderr
View file

@ -2,7 +2,7 @@ error[E0631]: type mismatch in function arguments
--> $DIR/issue-43623.rs:14:5
|
LL | pub fn break_me<T, F>(f: F)
| --------
| -------- required by a bound in this
LL | where T: for<'b> Trait<'b>,
LL | F: for<'b> FnMut(<T as Trait<'b>>::Assoc) {
| -------------------------------------- required by this bound in `break_me`
@ -16,7 +16,7 @@ error[E0271]: type mismatch resolving `for<'b> <fn(_) as std::ops::FnOnce<(<Type
--> $DIR/issue-43623.rs:14:5
|
LL | pub fn break_me<T, F>(f: F)
| --------
| -------- required by a bound in this
LL | where T: for<'b> Trait<'b>,
LL | F: for<'b> FnMut(<T as Trait<'b>>::Assoc) {
| ------------------------------ required by this bound in `break_me`

2
src/test/ui/issues/issue-47706.stderr
View file

@ -14,7 +14,7 @@ LL | Bar(i32),
| -------- takes 1 argument
...
LL | fn foo<F>(f: F)
| ---
| --- required by a bound in this
LL | where
LL | F: Fn(),
| ---- required by this bound in `foo`

2
src/test/ui/issues/issue-60218.stderr
View file

@ -2,7 +2,7 @@ error[E0277]: the trait bound `for<'t> <std::iter::Map<<&'t _ as std::iter::Into
--> $DIR/issue-60218.rs:18:5
|
LL | pub fn trigger_error<I, F>(iterable: I, functor: F)
| -------------
| ------------- required by a bound in this
...
LL | for<'t> <Map<<&'t I as IntoIterator>::IntoIter, F> as Iterator>::Item: Foo,
| --- required by this bound in `trigger_error`

4
src/test/ui/issues/issue-60283.stderr
View file

@ -2,7 +2,7 @@ error[E0631]: type mismatch in function arguments
--> $DIR/issue-60283.rs:14:13
|
LL | pub fn foo<T, F>(_: T, _: F)
| ---
| --- required by a bound in this
LL | where T: for<'a> Trait<'a>,
LL | F: for<'a> FnMut(<T as Trait<'a>>::Item) {}
| ------------------------------------- required by this bound in `foo`
@ -17,7 +17,7 @@ error[E0271]: type mismatch resolving `for<'a> <fn(_) {std::mem::drop::<_>} as s
--> $DIR/issue-60283.rs:14:5
|
LL | pub fn foo<T, F>(_: T, _: F)
| ---
| --- required by a bound in this
LL | where T: for<'a> Trait<'a>,
LL | F: for<'a> FnMut(<T as Trait<'a>>::Item) {}
| ----------------------------- required by this bound in `foo`

2
src/test/ui/issues/issue-65673.stderr
View file

@ -2,7 +2,7 @@ error[E0277]: the size for values of type `(dyn Trait + 'static)` cannot be know
--> $DIR/issue-65673.rs:9:16
|
LL | trait WithType {
| --------
| -------- required by a bound in this
LL | type Ctx;
| --------- required by this bound in `WithType`
...

6
src/test/ui/suggestions/missing-assoc-type-bound-restriction.stderr
View file

@ -2,7 +2,7 @@ error[E0277]: the trait bound `<T as Parent>::Assoc: Child<A>` is not satisfied
--> $DIR/missing-assoc-type-bound-restriction.rs:17:19
|
LL | trait Parent {
| ------
| ------ required by a bound in this
LL | type Ty;
LL | type Assoc: Child<Self::Ty>;
| --------------- required by this bound in `Parent`
@ -16,7 +16,7 @@ error[E0277]: the trait bound `<T as Parent>::Assoc: Child<A>` is not satisfied
--> $DIR/missing-assoc-type-bound-restriction.rs:20:18
|
LL | trait Parent {
| ------
| ------ required by a bound in this
LL | type Ty;
LL | type Assoc: Child<Self::Ty>;
| --------------- required by this bound in `Parent`
@ -33,7 +33,7 @@ error[E0277]: the trait bound `<T as Parent>::Assoc: Child<A>` is not satisfied
--> $DIR/missing-assoc-type-bound-restriction.rs:20:5
|
LL | trait Parent {
| ------
| ------ required by a bound in this
LL | type Ty;
LL | type Assoc: Child<Self::Ty>;
| --------------- required by this bound in `Parent`

2
src/test/ui/traits/cycle-cache-err-60010.stderr
View file

@ -10,7 +10,7 @@ error[E0275]: overflow evaluating the requirement `Runtime<RootDatabase>: std::p
--> $DIR/cycle-cache-err-60010.rs:31:20
|
LL | trait Database {
| --------
| -------- required by a bound in this
LL | type Storage;
| ------------- required by this bound in `Database`
...

2
src/test/ui/where-clauses/where-for-self-2.stderr
View file

@ -2,7 +2,7 @@ error[E0277]: the trait bound `for<'a> &'a _: Bar` is not satisfied
--> $DIR/where-for-self-2.rs:21:5
|
LL | fn foo<T>(x: &T)
| ---
| --- required by a bound in this
LL | where for<'a> &'a T: Bar
| --- required by this bound in `foo`
...