[rustc.git] / src / test / ui / wf / wf-foreign-fn-decl-ret.stderr

error[E0277]: the trait bound `(): Foo` is not satisfied
  --> $DIR/wf-foreign-fn-decl-ret.rs:11:25
   |
LL | pub trait Foo {
   | ------------- required by this bound in `Foo`
...
LL |     pub fn lint_me() -> <() as Foo>::Assoc;
   |                         ^^^^^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `()`

error[E0277]: the trait bound `u32: Unsatisfied` is not satisfied
  --> $DIR/wf-foreign-fn-decl-ret.rs:14:32
   |
LL | pub struct Bar<T: Unsatisfied>(T);
   |                   ----------- required by this bound in `Bar`
...
LL |     pub fn lint_me_aswell() -> Bar<u32>;
   |                                ^^^^^^^^ the trait `Unsatisfied` is not implemented for `u32`

error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0277`.
Commit	Line	Data
3dfed10e	1	error[E0277]: the trait bound `(): Foo` is not satisfied
136023e0	2	--> $DIR/wf-foreign-fn-decl-ret.rs:11:25
3dfed10e	3	\|
136023e0 XL	4	LL \| pub trait Foo {
	5	\| ------------- required by this bound in `Foo`
	6	...
3dfed10e	7	LL \| pub fn lint_me() -> <() as Foo>::Assoc;
136023e0	8	\| ^^^^^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `()`
3dfed10e XL	9
	10	error[E0277]: the trait bound `u32: Unsatisfied` is not satisfied
	11	--> $DIR/wf-foreign-fn-decl-ret.rs:14:32
	12	\|
	13	LL \| pub struct Bar<T: Unsatisfied>(T);
	14	\| ----------- required by this bound in `Bar`
	15	...
	16	LL \| pub fn lint_me_aswell() -> Bar<u32>;
	17	\| ^^^^^^^^ the trait `Unsatisfied` is not implemented for `u32`
	18
	19	error: aborting due to 2 previous errors
	20
	21	For more information about this error, try `rustc --explain E0277`.