rustc: where clauses are sometimes silently ignored

[aturon]

I'm reasonably sure the problem below is related to multidispatch and its interaction with type inference. It works fine for a standalone function, but not in an impl context:

pub trait Borrow<Sized? Borrowed> {
    fn borrow(&self) -> &Borrowed;
}

impl<T: Sized> Borrow<T> for T {
    fn borrow(&self) -> &T { self }
}

trait Foo {
    fn foo(&self, other: &Self);
}

// This works fine
fn bar<K, Q>(k: &K, q: &Q) where K: Borrow<Q>, Q: Foo {
    q.foo(k.borrow())
}

struct MyTree<K>;
impl<K> MyTree<K> {
    // This fails
    fn bar<Q>(k: &K, q: &Q) where K: Borrow<Q>, Q: Foo {
        q.foo(k.borrow())
    }
}

The error is:

borrow-test.rs:22:15: 22:25 error: mismatched types: expected `&Q`, found `&K` (expected type parameter, found a different type parameter)
borrow-test.rs:22         q.foo(k.borrow())
                                ^~~~~~~~~~

cc @nikomatsakis

[nikomatsakis]

I expect the problem is the (incomplete) implementation of where clauses. Something like K:Borrow<Q> isn't really expected to work sadly.

[aturon]

@nikomatsakis points out that this is more likely a problem with where clauses, namely that method-level where clauses are not implemented and are silently being dropped here.

[huonw]

cc #17086

[pnkfelix]

P-backcompat-lang, 1.0.