]>
Commit | Line | Data |
---|---|---|
b7449926 | 1 | // run-pass |
c34b1796 AL |
2 | // pretty-expanded FIXME #23616 |
3 | ||
85aaf69f SL |
4 | trait Bound { |
5 | fn dummy(&self) { } | |
6 | } | |
1a4d82fc | 7 | |
85aaf69f | 8 | trait Trait { |
041b39d2 XL |
9 | fn a<T>(&self, _: T) where T: Bound; |
10 | fn b<T>(&self, _: T) where T: Bound; | |
11 | fn c<T: Bound>(&self, _: T); | |
12 | fn d<T: Bound>(&self, _: T); | |
85aaf69f | 13 | } |
223e47cc | 14 | |
85aaf69f SL |
15 | impl Trait for bool { |
16 | fn a<T: Bound>(&self, _: T) {} | |
17 | //^~ This gets rejected but should be accepted | |
18 | fn b<T>(&self, _: T) where T: Bound {} | |
19 | fn c<T: Bound>(&self, _: T) {} | |
20 | fn d<T>(&self, _: T) where T: Bound {} | |
223e47cc LB |
21 | } |
22 | ||
23 | fn main() {} |