[rustc.git] / src / test / ui / suggestions / imm-ref-trait-object-literal-bound-regions.stderr

error[E0277]: the trait bound `for<'b> &'b S: Trait` is not satisfied
  --> $DIR/imm-ref-trait-object-literal-bound-regions.rs:17:5
   |
LL |     foo::<S>(s);
   |     ^^^^^^^^ the trait `for<'b> Trait` is not implemented for `&'b S`
   |
   = help: the trait `Trait` is implemented for `&'a mut S`
   = note: `for<'b> Trait` is implemented for `&'b mut S`, but not for `&'b S`
note: required by a bound in `foo`
  --> $DIR/imm-ref-trait-object-literal-bound-regions.rs:11:20
   |
LL | fn foo<X>(_: X)
   |    --- required by a bound in this
LL | where
LL |     for<'b> &'b X: Trait,
   |                    ^^^^^ required by this bound in `foo`

error: aborting due to previous error

For more information about this error, try `rustc --explain E0277`.
Commit	Line	Data
f9f354fc XL	1	error[E0277]: the trait bound `for<'b> &'b S: Trait` is not satisfied
	2	--> $DIR/imm-ref-trait-object-literal-bound-regions.rs:17:5
	3	\|
f9f354fc XL	4	LL \| foo::<S>(s);
	5	\| ^^^^^^^^ the trait `for<'b> Trait` is not implemented for `&'b S`
	6	\|
04454e1e	7	= help: the trait `Trait` is implemented for `&'a mut S`
923072b8	8	= note: `for<'b> Trait` is implemented for `&'b mut S`, but not for `&'b S`
94222f64 XL	9	note: required by a bound in `foo`
	10	--> $DIR/imm-ref-trait-object-literal-bound-regions.rs:11:20
	11	\|
	12	LL \| fn foo<X>(_: X)
	13	\| --- required by a bound in this
	14	LL \| where
	15	LL \| for<'b> &'b X: Trait,
	16	\| ^^^^^ required by this bound in `foo`
f9f354fc XL	17
	18	error: aborting due to previous error
	19
	20	For more information about this error, try `rustc --explain E0277`.