src/test/ui/issues/issue-25076.rs

   1 struct S;
   2
   3 trait InOut<T> { type Out; }
   4
   5 fn do_fold<B, F: InOut<B, Out=B>>(init: B, f: F) {}
   6
   7 fn bot<T>() -> T { loop {} }
   8
   9 fn main() {
  10     do_fold(bot(), ()); //~ ERROR `(): InOut<_>` is not satisfied
  11 }