fn f<T:Eq + Ord>(_: T) {
}

fn main() {
    f(3);
}