Skip to content

Commit 311ee01

Browse files
Add an example for E0034
1 parent dcfb8d7 commit 311ee01

File tree

1 file changed

+24
-0
lines changed

1 file changed

+24
-0
lines changed

src/librustc_typeck/diagnostics.rs

+24
Original file line numberDiff line numberDiff line change
@@ -327,6 +327,30 @@ fn main() {
327327
<Test as Trait1>::foo()
328328
}
329329
```
330+
331+
One last example:
332+
333+
```
334+
trait F {
335+
fn m(&self);
336+
}
337+
338+
trait G {
339+
fn m(&self);
340+
}
341+
342+
struct X;
343+
344+
impl F for X { fn m(&self) { println!("I am F"); } }
345+
impl G for X { fn m(&self) { println!("I am G"); } }
346+
347+
fn main() {
348+
let f = X;
349+
350+
F::m(&f); // it displays "I am F"
351+
G::m(&f); // it displays "I am G"
352+
}
353+
```
330354
"##,
331355

332356
E0035: r##"

0 commit comments

Comments
 (0)