bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Rollup merge of #68176 - GuillaumeGomez:clean-up-err-codes, r=Dylan-DPC

Browse source 
Clean up err codes

r? @Dylan-DPC
This commit is contained in:
Yuki Okushi 2020-01-14 14:02:28 +09:00 • committed by GitHub
commit d6d5b74fb2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 22 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/librustc_error_codes/error_codes/E0191.md
View file

@ -1,5 +1,6 @@
Trait objects need to have all associated types specified. Erroneous code
example:
An associated type wasn't specified for a trait object.
Erroneous code example:
```compile_fail,E0191
trait Trait {
@ -10,8 +11,9 @@ type Foo = Trait; // error: the value of the associated type `Bar` (from
// the trait `Trait`) must be specified
```
Please verify you specified all associated types of the trait and that you
used the right trait. Example:
Trait objects need to have all associated types specified. Please verify that
all associated types of the trait were specified and the correct trait was used.
Example:
```
trait Trait {

16
src/librustc_error_codes/error_codes/E0192.md
View file

@ -1,3 +1,19 @@
A negative impl was added on a trait implementation.
Erroneous code example:
```compile_fail,E0192
trait Trait {
type Bar;
}
struct Foo;
impl !Trait for Foo { } //~ ERROR E0192
fn main() {}
```
Negative impls are only allowed for auto traits. For more
information see the [opt-in builtin traits RFC][RFC 19].