blob: 9e4b77d87f8b59e1482a8da4c3f3986219ab5289 (
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` (from the trait `Foo`) must be specified
pub fn main() {}
|
