]>
Commit | Line | Data |
---|---|---|
d9bb1a4e | 1 | // check-pass |
0bf4aa26 | 2 | #![allow(dead_code)] |
c34b1796 | 3 | // Regression test for #17746 |
223e47cc LB |
4 | |
5 | fn main() {} | |
c34b1796 AL |
6 | |
7 | struct A; | |
8 | ||
9 | impl A { | |
10 | fn b(&mut self) { | |
11 | self.a() | |
12 | } | |
13 | } | |
14 | ||
15 | trait Foo { | |
16 | fn dummy(&self) {} | |
17 | } | |
18 | trait Bar { | |
19 | fn a(&self); | |
20 | } | |
21 | ||
22 | impl Foo for A {} | |
23 | impl<T> Bar for T where T: Foo { | |
24 | fn a(&self) {} | |
25 | } |