blob: 9d0c8d96d29a68b8e95ee1fbab74eb9899a1aee3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// 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() {}
|