]>
Commit | Line | Data |
---|---|---|
a2a8927a XL |
1 | #![crate_name = "foo"] |
2 | ||
3 | pub trait SomeTrait<Rhs = Self> | |
5099ac24 FG |
4 | where |
5 | Rhs: ?Sized, | |
6 | { | |
7 | } | |
a2a8927a XL |
8 | |
9 | // @has 'foo/trait.SomeTrait.html' | |
ed00b5ec | 10 | // @has - "//*[@id='impl-SomeTrait-for-(A,+B,+C,+D,+E)']/h3" "impl<A, B, C, D, E> SomeTrait for (A, B, C, D, E)where A: PartialOrd<A> + PartialEq<A>, B: PartialOrd<B> + PartialEq<B>, C: PartialOrd<C> + PartialEq<C>, D: PartialOrd<D> + PartialEq<D>, E: PartialOrd<E> + PartialEq<E> + ?Sized, " |
5099ac24 FG |
11 | impl<A, B, C, D, E> SomeTrait<(A, B, C, D, E)> for (A, B, C, D, E) |
12 | where | |
a2a8927a XL |
13 | A: PartialOrd<A> + PartialEq<A>, |
14 | B: PartialOrd<B> + PartialEq<B>, | |
15 | C: PartialOrd<C> + PartialEq<C>, | |
16 | D: PartialOrd<D> + PartialEq<D>, | |
5099ac24 FG |
17 | E: PartialOrd<E> + PartialEq<E> + ?Sized, |
18 | { | |
19 | } | |
ed00b5ec FG |
20 | |
21 | // @has - "//*[@id='impl-SomeTrait%3C(A,+B,+C,+D)%3E-for-(A,+B,+C,+D,+E)']/h3" "impl<A, B, C, D, E> SomeTrait<(A, B, C, D)> for (A, B, C, D, E)where A: PartialOrd<A> + PartialEq<A>, B: PartialOrd<B> + PartialEq<B>, C: PartialOrd<C> + PartialEq<C>, D: PartialOrd<D> + PartialEq<D>, E: PartialOrd<E> + PartialEq<E> + ?Sized, " | |
22 | impl<A, B, C, D, E> SomeTrait<(A, B, C, D)> for (A, B, C, D, E) | |
23 | where | |
24 | A: PartialOrd<A> + PartialEq<A>, | |
25 | B: PartialOrd<B> + PartialEq<B>, | |
26 | C: PartialOrd<C> + PartialEq<C>, | |
27 | D: PartialOrd<D> + PartialEq<D>, | |
28 | E: PartialOrd<E> + PartialEq<E> + ?Sized, | |
29 | { | |
30 | } |