blob: 8de78c71fe9eef62a4667a71e7d5a7eb3b1867e7 (
plain)
| 1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 | //@ check-pass
#![feature(trait_alias)]
pub trait State = Clone + Send + Sync + PartialOrd + PartialEq + std::fmt::Display;
pub trait RandState<S: State> = FnMut() -> S + Send;
pub trait Evaluator {
    type State;
}
pub struct Evolver<E: Evaluator> {
    rand_state: Box<dyn RandState<E::State>>,
}
fn main() {}
 |