struct A;
struct B;
struct D;

trait Trait<Type1> {
	fn method(&self);
}

impl Trait<A> for D {
	fn method(&self) {
		println!("{}", "Test");
	}
}

impl Trait<B> for D {
	fn method(&self) {
		println!("{}", "Not a test");
	}
}

fn main() {
	let v = D{};
	(&v as &dyn Trait<A>).method();
}