tests/ui/higher-rank-trait-bounds/issue-30786.stderr

   1 error[E0599]: the method `filterx` exists for struct `Map<Repeat, [closure@issue-30786.rs:119:27]>`, but its trait bounds were not satisfied
   2   --> $DIR/issue-30786.rs:120:22
   3    |
   4 LL | pub struct Map<S, F> {
   5    | --------------------
   6    | |
   7    | method `filterx` not found for this struct
   8    | doesn't satisfy `_: StreamExt`
   9 ...
  10 LL |     let filter = map.filterx(|x: &_| true);
  11    |                      ^^^^^^^ method cannot be called on `Map<Repeat, [closure@issue-30786.rs:119:27]>` due to unsatisfied trait bounds
  12    |
  13 note: the following trait bounds were not satisfied:
  14       `&'a mut &Map<Repeat, [closure@$DIR/issue-30786.rs:119:27: 119:34]>: Stream`
  15       `&'a mut &mut Map<Repeat, [closure@$DIR/issue-30786.rs:119:27: 119:34]>: Stream`
  16       `&'a mut Map<Repeat, [closure@$DIR/issue-30786.rs:119:27: 119:34]>: Stream`
  17   --> $DIR/issue-30786.rs:98:50
  18    |
  19 LL | impl<T> StreamExt for T where for<'a> &'a mut T: Stream {}
  20    |         ---------     -                          ^^^^^^ unsatisfied trait bound introduced here
  21
  22 error[E0599]: the method `countx` exists for struct `Filter<Map<Repeat, fn(&u64) -> &u64 {identity::<u64>}>, [closure@issue-30786.rs:131:30]>`, but its trait bounds were not satisfied
  23   --> $DIR/issue-30786.rs:132:24
  24    |
  25 LL | pub struct Filter<S, F> {
  26    | -----------------------
  27    | |
  28    | method `countx` not found for this struct
  29    | doesn't satisfy `_: StreamExt`
  30 ...
  31 LL |     let count = filter.countx();
  32    |                        ^^^^^^ method cannot be called due to unsatisfied trait bounds
  33    |
  34    = note: the full type name has been written to '$TEST_BUILD_DIR/higher-rank-trait-bounds/issue-30786/issue-30786.long-type-hash.txt'
  35 note: the following trait bounds were not satisfied:
  36       `&'a mut &Filter<Map<Repeat, for<'a> fn(&'a u64) -> &'a u64 {identity::<u64>}>, [closure@$DIR/issue-30786.rs:131:30: 131:37]>: Stream`
  37       `&'a mut &mut Filter<Map<Repeat, for<'a> fn(&'a u64) -> &'a u64 {identity::<u64>}>, [closure@$DIR/issue-30786.rs:131:30: 131:37]>: Stream`
  38       `&'a mut Filter<Map<Repeat, for<'a> fn(&'a u64) -> &'a u64 {identity::<u64>}>, [closure@$DIR/issue-30786.rs:131:30: 131:37]>: Stream`
  39   --> $DIR/issue-30786.rs:98:50
  40    |
  41 LL | impl<T> StreamExt for T where for<'a> &'a mut T: Stream {}
  42    |         ---------     -                          ^^^^^^ unsatisfied trait bound introduced here
  43
  44 error: aborting due to 2 previous errors
  45
  46 For more information about this error, try `rustc --explain E0599`.