1 #![feature(negative_impls)]
2 #![feature(auto_traits)]
4 pub auto trait AnAutoTrait {}
6 pub struct Foo<T> { field: T }
8 // @has impl_parts/struct.Foo.html '//*[@class="impl has-srclink"]//h3[@class="code-header"]' \
9 // "impl<T: Clone> !AnAutoTrait for Foo<T>where T: Sync,"
10 // @has impl_parts/trait.AnAutoTrait.html '//*[@id="implementors-list"]//h3[@class="code-header"]' \
11 // "impl<T: Clone> !AnAutoTrait for Foo<T>where T: Sync,"
12 impl<T: Clone> !AnAutoTrait for Foo<T> where T: Sync {}