//@ run-pass
#![allow(dead_code)]
#![allow(unused_variables)]
//@ pretty-expanded FIXME #23616

pub trait NumExt: PartialEq + PartialOrd {}

pub trait FloatExt: NumExt {}

fn greater_than_one<T: NumExt>(n: &T) -> bool { loop {} }
fn greater_than_one_float<T: FloatExt>(n: &T) -> bool { loop {} }

pub fn main() {}