Add dyn annotation to trait object arguments

Munksgaard · Munksgaard · commit c1b81411f024 · 2019-08-21T13:53:59.000+02:00
diff --git a/test-project/tests/compile-fail/trait-bounds-cant-coerce.rs b/test-project/tests/compile-fail/trait-bounds-cant-coerce.rs
@@ -13,14 +13,14 @@ trait Foo {
     fn dummy(&self) { }
 }
 
-fn a(_x: Box<Foo+Send>) {
+fn a(_x: Box<dyn Foo+Send>) {
 }
 
-fn c(x: Box<Foo+Sync+Send>) {
+fn c(x: Box<dyn Foo+Sync+Send>) {
     a(x);
 }
 
-fn d(x: Box<Foo>) {
+fn d(x: Box<dyn Foo>) {
     a(x); //~  ERROR mismatched types
           //~| expected trait `Foo + std::marker::Send`, found trait `Foo`
           //~| expected type `std::boxed::Box<(dyn Foo + std::marker::Send + 'static)>`

Original file line number	Diff line number	Diff line change
`@@ -13,14 +13,14 @@ trait Foo {`
`13`	`13`	`fn dummy(&self) { }`
`14`	`14`	`}`
`15`	`15`
`16`		`-fn a(_x: Box<Foo+Send>) {`
	`16`	`+fn a(_x: Box<dyn Foo+Send>) {`
`17`	`17`	`}`
`18`	`18`
`19`		`-fn c(x: Box<Foo+Sync+Send>) {`
	`19`	`+fn c(x: Box<dyn Foo+Sync+Send>) {`
`20`	`20`	`a(x);`
`21`	`21`	`}`
`22`	`22`
`23`		`-fn d(x: Box<Foo>) {`
	`23`	`+fn d(x: Box<dyn Foo>) {`
`24`	`24`	`a(x); //~ ERROR mismatched types`
`25`	`25`	//~\| expected trait `Foo + std::marker::Send`, found trait `Foo`
`26`	`26`	//~\| expected type `std::boxed::Box<(dyn Foo + std::marker::Send + 'static)>`