about summary refs log tree commit diff
path: root/tests/ui/traits/method-on-unbounded-type-param.rs
blob: 8505eb41e98bb6c333df4bd41257721224176490 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
fn f<T>(a: T, b: T) -> std::cmp::Ordering {
    a.cmp(&b) //~ ERROR E0599
}
fn g<T>(a: T, b: T) -> std::cmp::Ordering {
    (&a).cmp(&b) //~ ERROR E0599
}
fn h<T>(a: &T, b: T) -> std::cmp::Ordering {
    a.cmp(&b) //~ ERROR E0599
}
trait T {}
impl<X: std::cmp::Ord> T for X {}
fn main() {
    let x: Box<dyn T> = Box::new(0);
    x.cmp(&x); //~ ERROR E0599
}