mirror of
https://github.com/rust-lang/rust
synced 2024-11-05 20:45:15 +00:00
11 lines
204 B
Rust
11 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
|
|
}
|