// Test that a partially specified trait object with unspecified associated
// type does not type-check.

trait Foo {
    type A;

    fn dummy(&self) { }
}

fn bar(x: &dyn Foo) {}
//~^ ERROR the associated type `A` (from trait `Foo`) must be specified

pub fn main() {}