warning: methods `foo` and `bar` are never used
  --> $DIR/issue-34503.rs:5:12
   |
LL |     trait Foo<T> {
   |           --- methods in this trait
LL |         fn foo(&self) where (T, Option<T>): Ord {}
   |            ^^^
LL |         fn bar(&self, x: &Option<T>) -> bool
   |            ^^^
   |
   = note: `#[warn(dead_code)]` on by default

warning: 1 warning emitted