[rustc.git] / src / test / ui / issues / issue-25076.rs

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() {
    do_fold(bot(), ()); //~ ERROR `(): InOut<_>` is not satisfied
}
Commit	Line	Data
d9579d0f	1	struct S;
85aaf69f	2
d9579d0f AL	3	trait InOut<T> { type Out; }
	4
	5	fn do_fold<B, F: InOut<B, Out=B>>(init: B, f: F) {}
223e47cc	6
d9579d0f AL	7	fn bot<T>() -> T { loop {} }
	8
	9	fn main() {
54a0048b	10	do_fold(bot(), ()); //~ ERROR `(): InOut<_>` is not satisfied
c34b1796	11	}