overlapping instances should be detected for inherited traits

[brson]

A simple example

// error-pattern: what

trait Foo {
    fn f();
}

trait Bar : Foo {
    fn g();
}

struct A {
    x: int
}

impl A : Bar {
    fn g() { }
    fn f() { }
}

impl A : Foo {
    fn f() { }
}

fn main() {
}

[brson]

This is no longer true because an impl of Bar is not an impl of Foo