error[E0412]: cannot find type `Missing` in this scope
  --> $DIR/issue-110157.rs:7:12
   |
LL |     F: Fn(&Missing) -> Result<I, ()>,
   |            ^^^^^^^ not found in this scope

error[E0412]: cannot find type `Missing` in this scope
  --> $DIR/issue-110157.rs:9:24
   |
LL |     I: Iterator<Item = Missing>,
   |                        ^^^^^^^ not found in this scope

error[E0283]: type annotations needed
  --> $DIR/issue-110157.rs:3:31
   |
LL | impl<'tcx, F, I> Iterator for NeedsDropTypes<'tcx, F>
   |                               ^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type for type parameter `I`
   |
   = note: cannot satisfy `_: Iterator`
note: required for `NeedsDropTypes<'tcx, F>` to implement `Iterator`
  --> $DIR/issue-110157.rs:3:18
   |
LL | impl<'tcx, F, I> Iterator for NeedsDropTypes<'tcx, F>
   |                  ^^^^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^
...
LL |     I: Iterator<Item = Missing>,
   |        ------------------------ unsatisfied trait bound introduced here

error[E0046]: not all trait items implemented, missing: `Item`, `next`
  --> $DIR/issue-110157.rs:3:1
   |
LL | / impl<'tcx, F, I> Iterator for NeedsDropTypes<'tcx, F>
LL | |
LL | |
LL | | where
LL | |     F: Fn(&Missing) -> Result<I, ()>,
LL | |
LL | |     I: Iterator<Item = Missing>,
   | |________________________________^ missing `Item`, `next` in implementation
   |
   = help: implement the missing item: `type Item = /* Type */;`
   = help: implement the missing item: `fn next(&mut self) -> Option<<Self as Iterator>::Item> { todo!() }`

error: aborting due to 4 previous errors

Some errors have detailed explanations: E0046, E0283, E0412.
For more information about an error, try `rustc --explain E0046`.