2015-05-05 19:09:17 +00:00
|
|
|
struct S;
|
|
|
|
|
|
|
|
|
|
trait InOut<T> { type Out; }
|
|
|
|
|
|
|
|
|
|
fn do_fold<B, F: InOut<B, Out=B>>(init: B, f: F) {}
|
|
|
|
|
|
|
|
|
|
fn bot<T>() -> T { loop {} }
|
|
|
|
|
|
|
|
|
|
fn main() {
|
2016-04-05 19:56:23 +00:00
|
|
|
do_fold(bot(), ()); //~ ERROR `(): InOut<_>` is not satisfied
|
2015-05-05 19:09:17 +00:00
|
|
|
}
|
