[rustc.git] / src / test / ui / issues / issue-19482.rs

// 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() {}
Commit	Line	Data
1a4d82fc	1	// Test that a partially specified trait object with unspecified associated
9346a6ac	2	// type does not type-check.
1a4d82fc JJ	3
	4	trait Foo {
	5	type A;
85aaf69f SL	6
85aaf69f SL	7	fn dummy(&self) { }
223e47cc LB	8	}
223e47cc LB	9
dc9dc135	10	fn bar(x: &dyn Foo) {}
dfeec247	11	//~^ ERROR the associated type `A` (from trait `Foo`) must be specified
1a4d82fc	12
223e47cc	13	pub fn main() {}