Method dispatch doesn't look up in inherited traits

[farnoy]

Method dispatch does not search in traits that a compound trait inherits. Example below, on 0.8-pre @c5194740a78ec113cb6cbc937e7263e2548f62f6. Generics work though on compound traits.

struct A;

pub trait Method1Able {
    pub fn method1(&self);
}

pub trait Test : Method1Able {}

impl Method1Able for A {
    pub fn method1(&self) {()}
}

impl Test for A {}

fn generic<T: Test>(a: &T) {
  a.method1(); // works
}

fn main() {
    let mut a = A;
    generic(&a);
    {
        let mut b = &a as &Test;
        b.method1();
        // error: type `&Test<no-bounds>` does not
        // implement any method in scope named `method1`
    }
}

[huonw]

Thanks for the report! However, this looks like a dup of #4100.