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 | |     ) -> Self::AssocType;
  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 | |
  38 LL | |         &self,
  39 LL | |     ) -> Self::AssocType;
  40    | |_________________________^ the trait `Foo` is not implemented for `Bug`
  41    |
  42 help: consider further restricting this bound
  43    |
  44 LL | pub trait ThriftService<Bug: NotFoo + Foo>:
  45    |                                     +++++
  46
  47 error[E0277]: the trait bound `(): Foo` is not satisfied
  48   --> $DIR/issue-59324.rs:23:29
  49    |
  50 LL | fn with_factory<H>(factory: dyn ThriftService<()>) {}
  51    |                             ^^^^^^^^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `()`
  52
  53 error[E0277]: the trait bound `Bug: Foo` is not satisfied
  54   --> $DIR/issue-59324.rs:16:8
  55    |
  56 LL |     fn get_service(
  57    |        ^^^^^^^^^^^ the trait `Foo` is not implemented for `Bug`
  58    |
  59 help: consider further restricting this bound
  60    |
  61 LL | pub trait ThriftService<Bug: NotFoo + Foo>:
  62    |                                     +++++
  63
  64 error: aborting due to 5 previous errors
  65
  66 For more information about this error, try `rustc --explain E0277`.