blob: 6ba334905499ed3c424fc38c3a19c3cb6ab14ecd (
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: &Foo) {}
//~^ ERROR the associated type `A` (from the trait `Foo`) must be specified
pub fn main() {}
|