Rollup merge of #69055 - GuillaumeGomez:clean-up-e0307, r=Dylan-DPC

Clean up E0307 explanation

r? @Dylan-DPC
This commit is contained in:
Dylan DPC 2020-02-11 16:37:06 +01:00 committed by GitHub
commit 82a366ad86
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,5 +1,19 @@
This error indicates that the `self` parameter in a method has an invalid
"receiver type".
The `self` parameter in a method has an invalid "receiver type".
Erroneous code example:
```compile_fail,E0307
struct Foo;
struct Bar;
trait Trait {
fn foo(&self);
}
impl Trait for Foo {
fn foo(self: &Bar) {}
}
```
Methods take a special first parameter, of which there are three variants:
`self`, `&self`, and `&mut self`. These are syntactic sugar for
@ -36,7 +50,7 @@ impl Trait for Foo {
}
```
E0307 will be emitted by the compiler when using an invalid receiver type,
This error will be emitted by the compiler when using an invalid receiver type,
like in the following example:
```compile_fail,E0307