1 #![feature(trait_alias)]
7 // @has foo/all.html '//a[@href="traitalias.CopyAlias.html"]' 'CopyAlias'
8 // @has foo/all.html '//a[@href="traitalias.Alias2.html"]' 'Alias2'
9 // @has foo/all.html '//a[@href="traitalias.Foo.html"]' 'Foo'
11 // @has foo/index.html '//h2[@id="trait-aliases"]' 'Trait aliases'
12 // @has foo/index.html '//a[@class="traitalias"]' 'CopyAlias'
13 // @has foo/index.html '//a[@class="traitalias"]' 'Alias2'
14 // @has foo/index.html '//a[@class="traitalias"]' 'Foo'
16 // @has foo/traitalias.CopyAlias.html '//section[@id="main"]/pre' 'trait CopyAlias = Copy;'
17 pub trait CopyAlias = Copy;
18 // @has foo/traitalias.Alias2.html '//section[@id="main"]/pre' 'trait Alias2 = Copy + Debug;'
19 pub trait Alias2 = Copy + Debug;
20 // @has foo/traitalias.Foo.html '//section[@id="main"]/pre' 'trait Foo<T> = Into<T> + Debug;'
21 pub trait Foo<T> = Into<T> + Debug;
22 // @has foo/fn.bar.html '//a[@href="traitalias.Alias2.html"]' 'Alias2'
23 pub fn bar<T>() where T: Alias2 {}