1 // This test ensures that attributes on formals in generic parameter
2 // lists are included when we are checking for unstable attributes.
3
4 struct StLt<#[lt_struct] 'a>(&'a u32);
5 //~^ ERROR cannot find attribute `lt_struct` in this scope
6 struct StTy<#[ty_struct] I>(I);
7 //~^ ERROR cannot find attribute `ty_struct` in this scope
8
9 enum EnLt<#[lt_enum] 'b> { A(&'b u32), B }
10 //~^ ERROR cannot find attribute `lt_enum` in this scope
11 enum EnTy<#[ty_enum] J> { A(J), B }
12 //~^ ERROR cannot find attribute `ty_enum` in this scope
13
foo(&self, _: &'c [u32]) -> &'c u3214 trait TrLt<#[lt_trait] 'c> { fn foo(&self, _: &'c [u32]) -> &'c u32; }
15 //~^ ERROR cannot find attribute `lt_trait` in this scope
foo(&self, _: K)16 trait TrTy<#[ty_trait] K> { fn foo(&self, _: K); }
17 //~^ ERROR cannot find attribute `ty_trait` in this scope
18
19 type TyLt<#[lt_type] 'd> = &'d u32;
20 //~^ ERROR cannot find attribute `lt_type` in this scope
21 type TyTy<#[ty_type] L> = (L, );
22 //~^ ERROR cannot find attribute `ty_type` in this scope
23
24 impl<#[lt_inherent] 'e> StLt<'e> { }
25 //~^ ERROR cannot find attribute `lt_inherent` in this scope
26 impl<#[ty_inherent] M> StTy<M> { }
27 //~^ ERROR cannot find attribute `ty_inherent` in this scope
28
29 impl<#[lt_impl_for] 'f> TrLt<'f> for StLt<'f> {
30 //~^ ERROR cannot find attribute `lt_impl_for` in this scope
foo(&self, _: &'f [u32]) -> &'f u3231 fn foo(&self, _: &'f [u32]) -> &'f u32 { loop { } }
32 }
33 impl<#[ty_impl_for] N> TrTy<N> for StTy<N> {
34 //~^ ERROR cannot find attribute `ty_impl_for` in this scope
foo(&self, _: N)35 fn foo(&self, _: N) { }
36 }
37
f_lt<#[lt_fn] 'g>(_: &'g [u32]) -> &'g u3238 fn f_lt<#[lt_fn] 'g>(_: &'g [u32]) -> &'g u32 { loop { } }
39 //~^ ERROR cannot find attribute `lt_fn` in this scope
f_ty<#[ty_fn] O>(_: O)40 fn f_ty<#[ty_fn] O>(_: O) { }
41 //~^ ERROR cannot find attribute `ty_fn` in this scope
42
43 impl<I> StTy<I> {
m_lt<#[lt_meth] 'h>(_: &'h [u32]) -> &'h u3244 fn m_lt<#[lt_meth] 'h>(_: &'h [u32]) -> &'h u32 { loop { } }
45 //~^ ERROR cannot find attribute `lt_meth` in this scope
m_ty<#[ty_meth] P>(_: P)46 fn m_ty<#[ty_meth] P>(_: P) { }
47 //~^ ERROR cannot find attribute `ty_meth` in this scope
48 }
49
hof_lt<Q>(_: Q) where Q: for <#[lt_hof] 'i> Fn(&'i [u32]) -> &'i u3250 fn hof_lt<Q>(_: Q)
51 where Q: for <#[lt_hof] 'i> Fn(&'i [u32]) -> &'i u32
52 //~^ ERROR cannot find attribute `lt_hof` in this scope
53 {
54 }
55
main()56 fn main() {
57
58 }
59