blob: 9d0c8d96d29a68b8e95ee1fbab74eb9899a1aee3 [file] [log] [blame]
// 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` in `Foo` must be specified
pub fn main() {}