]>
Commit | Line | Data |
---|---|---|
ba9703b0 | 1 | #![feature(negative_impls)] |
c1a9b12d | 2 | #![feature(optin_builtin_traits)] |
85aaf69f | 3 | |
2c00a5a8 | 4 | pub auto trait AnOibit {} |
c1a9b12d SL |
5 | |
6 | pub struct Foo<T> { field: T } | |
7 | ||
8 | // @has impl_parts/struct.Foo.html '//*[@class="impl"]//code' \ | |
cc61c64b | 9 | // "impl<T: Clone> !AnOibit for Foo<T> where T: Sync," |
c1a9b12d | 10 | // @has impl_parts/trait.AnOibit.html '//*[@class="item-list"]//code' \ |
cc61c64b | 11 | // "impl<T: Clone> !AnOibit for Foo<T> where T: Sync," |
c1a9b12d | 12 | impl<T: Clone> !AnOibit for Foo<T> where T: Sync {} |