//@ run-pass
//@ pretty-expanded FIXME #23616
fn f<T:PartialEq + PartialOrd>(_: T) {
}
pub fn main() {
f(3);