Rollup merge of rust-lang#115054 - waywardmonkeys:fix-syntax-in-e0191, r=compiler-errors

matthiaskrgr · web-flow · commit 66726fdf56fb · 2023-08-21T22:16:01.000+02:00
Fix syntax in E0191 explanation. This trait needs `dyn` in modern Rust. Fixes rust-lang#115042.
diff --git a/compiler/rustc_error_codes/src/error_codes/E0191.md b/compiler/rustc_error_codes/src/error_codes/E0191.md
@@ -7,8 +7,8 @@ trait Trait {
     type Bar;
 }
 
-type Foo = Trait; // error: the value of the associated type `Bar` (from
-                  //        the trait `Trait`) must be specified
+type Foo = dyn Trait; // error: the value of the associated type `Bar` (from
+                      //        the trait `Trait`) must be specified
 ```
 
 Trait objects need to have all associated types specified. Please verify that
@@ -20,5 +20,5 @@ trait Trait {
     type Bar;
 }
 
-type Foo = Trait<Bar=i32>; // ok!
+type Foo = dyn Trait<Bar=i32>; // ok!
 ```

Original file line number	Diff line number	Diff line change
`@@ -7,8 +7,8 @@ trait Trait {`
`7`	`7`	`type Bar;`
`8`	`8`	`}`
`9`	`9`
`10`		-type Foo = Trait; // error: the value of the associated type `Bar` (from
`11`		- // the trait `Trait`) must be specified
	`10`	+type Foo = dyn Trait; // error: the value of the associated type `Bar` (from
	`11`	+ // the trait `Trait`) must be specified
`12`	`12`	```
`13`	`13`
`14`	`14`	`Trait objects need to have all associated types specified. Please verify that`
`@@ -20,5 +20,5 @@ trait Trait {`
`20`	`20`	`type Bar;`
`21`	`21`	`}`
`22`	`22`
`23`		`-type Foo = Trait<Bar=i32>; // ok!`
	`23`	`+type Foo = dyn Trait<Bar=i32>; // ok!`
`24`	`24`	```