]>
Commit | Line | Data |
---|---|---|
b7449926 | 1 | // run-pass |
a7813a04 XL |
2 | fn main() { |
3 | struct X; | |
4 | trait Foo<T> { | |
5 | fn foo(&self) where (T, Option<T>): Ord {} | |
6 | fn bar(&self, x: &Option<T>) -> bool | |
7 | where Option<T>: Ord { *x < *x } | |
223e47cc | 8 | } |
a7813a04 | 9 | impl Foo<X> for () {} |
dc9dc135 | 10 | let _ = &() as &dyn Foo<X>; |
223e47cc | 11 | } |