Qualified paths don't consider the type arguments supplied to the trait

[nikomatsakis]

Example:

#![feature(associated_types)]

trait Foo<T> {
    type Bar;
    fn get_bar() -> <Self as Foo<int>>::Bar; // SHOULD be an error but is not
}

fn main() { }