| error[E0277]: the trait bound `Bug: Foo` is not satisfied |
| --> $DIR/issue-59324.rs:11:1 |
| | |
| LL | / pub trait ThriftService<Bug: NotFoo>: |
| LL | | |
| LL | | Service<AssocType = <Bug as Foo>::OnlyFoo> |
| | |______________________________________________^ the trait `Foo` is not implemented for `Bug` |
| | |
| help: consider further restricting type parameter `Bug` with trait `Foo` |
| | |
| LL | pub trait ThriftService<Bug: NotFoo + Foo>: |
| | +++++ |
| |
| error[E0277]: the trait bound `Bug: Foo` is not satisfied |
| --> $DIR/issue-59324.rs:13:13 |
| | |
| LL | Service<AssocType = <Bug as Foo>::OnlyFoo> |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `Bug` |
| | |
| help: consider further restricting type parameter `Bug` with trait `Foo` |
| | |
| LL | pub trait ThriftService<Bug: NotFoo + Foo>: |
| | +++++ |
| |
| error[E0277]: the trait bound `Bug: Foo` is not satisfied |
| --> $DIR/issue-59324.rs:16:5 |
| | |
| LL | / fn get_service( |
| LL | | |
| LL | | |
| LL | | &self, |
| LL | | ) -> Self::AssocType; |
| | |_________________________^ the trait `Foo` is not implemented for `Bug` |
| |
| error[E0277]: the trait bound `(): Foo` is not satisfied |
| --> $DIR/issue-59324.rs:24:29 |
| | |
| LL | fn with_factory<H>(factory: dyn ThriftService<()>) {} |
| | ^^^^^^^^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `()` |
| | |
| help: this trait has no implementations, consider adding one |
| --> $DIR/issue-59324.rs:3:1 |
| | |
| LL | pub trait Foo: NotFoo { |
| | ^^^^^^^^^^^^^^^^^^^^^ |
| |
| error[E0277]: the trait bound `Bug: Foo` is not satisfied |
| --> $DIR/issue-59324.rs:16:5 |
| | |
| LL | / fn get_service( |
| LL | | |
| LL | | |
| LL | | &self, |
| LL | | ) -> Self::AssocType; |
| | |_________________________^ the trait `Foo` is not implemented for `Bug` |
| | |
| help: consider further restricting type parameter `Bug` with trait `Foo` |
| | |
| LL | pub trait ThriftService<Bug: NotFoo + Foo>: |
| | +++++ |
| |
| error[E0277]: the trait bound `Bug: Foo` is not satisfied |
| --> $DIR/issue-59324.rs:20:10 |
| | |
| LL | ) -> Self::AssocType; |
| | ^^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `Bug` |
| | |
| help: consider further restricting type parameter `Bug` with trait `Foo` |
| | |
| LL | pub trait ThriftService<Bug: NotFoo + Foo>: |
| | +++++ |
| |
| error[E0277]: the trait bound `(): Foo` is not satisfied |
| --> $DIR/issue-59324.rs:24:29 |
| | |
| LL | fn with_factory<H>(factory: dyn ThriftService<()>) {} |
| | ^^^^^^^^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `()` |
| | |
| help: this trait has no implementations, consider adding one |
| --> $DIR/issue-59324.rs:3:1 |
| | |
| LL | pub trait Foo: NotFoo { |
| | ^^^^^^^^^^^^^^^^^^^^^ |
| = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` |
| |
| error[E0277]: the size for values of type `(dyn ThriftService<(), AssocType = _> + 'static)` cannot be known at compilation time |
| --> $DIR/issue-59324.rs:24:29 |
| | |
| LL | fn with_factory<H>(factory: dyn ThriftService<()>) {} |
| | ^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time |
| | |
| = help: the trait `Sized` is not implemented for `(dyn ThriftService<(), AssocType = _> + 'static)` |
| = help: unsized fn params are gated as an unstable feature |
| help: you can use `impl Trait` as the argument type |
| | |
| LL - fn with_factory<H>(factory: dyn ThriftService<()>) {} |
| LL + fn with_factory<H>(factory: impl ThriftService<()>) {} |
| | |
| help: function arguments must have a statically known size, borrowed types always have a known size |
| | |
| LL | fn with_factory<H>(factory: &dyn ThriftService<()>) {} |
| | + |
| |
| error: aborting due to 8 previous errors |
| |
| For more information about this error, try `rustc --explain E0277`. |
