12 lines
204 B
Rust
12 lines
204 B
Rust
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
|
|
}
|