src/test/ui/associated-types/issue-59324.stderr

   1 error[E0277]: the trait bound `Bug: Foo` is not satisfied
   2   --> $DIR/issue-59324.rs:11:1
   3    |
   4 LL | / pub trait ThriftService<Bug: NotFoo>:
   5 LL | |
   6 LL | |
   7 LL | |     Service<AssocType = <Bug as Foo>::OnlyFoo>
   8    | |______________________________________________^ the trait `Foo` is not implemented for `Bug`
   9    |
  10 help: consider further restricting this bound
  11    |
  12 LL | pub trait ThriftService<Bug: NotFoo + Foo>:
  13    |                                     +++++
  14
  15 error[E0277]: the trait bound `Bug: Foo` is not satisfied
  16   --> $DIR/issue-59324.rs:11:1
  17    |
  18 LL | / pub trait ThriftService<Bug: NotFoo>:
  19 LL | |
  20 LL | |
  21 LL | |     Service<AssocType = <Bug as Foo>::OnlyFoo>
  22 ...  |
  23 LL | |
  24 LL | | }
  25    | |_^ the trait `Foo` is not implemented for `Bug`
  26    |
  27 help: consider further restricting this bound
  28    |
  29 LL | pub trait ThriftService<Bug: NotFoo + Foo>:
  30    |                                     +++++
  31
  32 error[E0277]: the trait bound `Bug: Foo` is not satisfied
  33   --> $DIR/issue-59324.rs:16:5
  34    |
  35 LL | /     fn get_service(
  36 LL | |
  37 LL | |         &self,
  38 LL | |     ) -> Self::AssocType;
  39    | |_________________________^ the trait `Foo` is not implemented for `Bug`
  40    |
  41 help: consider further restricting this bound
  42    |
  43 LL | pub trait ThriftService<Bug: NotFoo + Foo>:
  44    |                                     +++++
  45
  46 error[E0277]: the trait bound `(): Foo` is not satisfied
  47   --> $DIR/issue-59324.rs:23:29
  48    |
  49 LL | fn with_factory<H>(factory: dyn ThriftService<()>) {}
  50    |                             ^^^^^^^^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `()`
  51
  52 error[E0277]: the trait bound `Bug: Foo` is not satisfied
  53   --> $DIR/issue-59324.rs:19:10
  54    |
  55 LL |     ) -> Self::AssocType;
  56    |          ^^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `Bug`
  57    |
  58 help: consider further restricting this bound
  59    |
  60 LL | pub trait ThriftService<Bug: NotFoo + Foo>:
  61    |                                     +++++
  62
  63 error: aborting due to 5 previous errors
  64
  65 For more information about this error, try `rustc --explain E0277`.