76 lines
3.0 KiB
Rust
76 lines
3.0 KiB
Rust
|
// Copyright 2016 The Rust Project Developers. See the COPYRIGHT
|
||
|
|
// file at the top-level directory of this distribution and at
|
||
|
|
// http://rust-lang.org/COPYRIGHT.
|
||
|
|
//
|
||
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
||
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
||
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
||
|
|
// option. This file may not be copied, modified, or distributed
|
||
|
|
// except according to those terms.
|
||
|
|
|
||
|
|
// This test ensures that attributes on formals in generic parameter
|
||
|
|
// lists are included when we are checking for unstable attributes.
|
||
|
|
//
|
||
|
|
// Note that feature(generic_param_attrs) *is* enabled here. We are
|
||
|
|
// checking feature-gating of the attributes themselves, not the
|
||
|
|
// capability to parse such attributes in that context.
|
||
|
|
|
||
|
|
#![feature(generic_param_attrs)]
|
||
|
|
#![allow(dead_code)]
|
||
|
|
|
||
|
|
struct StLt<#[lt_struct] 'a>(&'a u32);
|
||
|
|
//~^ ERROR The attribute `lt_struct` is currently unknown to the compiler
|
||
|
|
struct StTy<#[ty_struct] I>(I);
|
||
|
|
//~^ ERROR The attribute `ty_struct` is currently unknown to the compiler
|
||
|
|
|
||
|
|
enum EnLt<#[lt_enum] 'b> { A(&'b u32), B }
|
||
|
|
//~^ ERROR The attribute `lt_enum` is currently unknown to the compiler
|
||
|
|
enum EnTy<#[ty_enum] J> { A(J), B }
|
||
|
|
//~^ ERROR The attribute `ty_enum` is currently unknown to the compiler
|
||
|
|
|
||
|
|
trait TrLt<#[lt_trait] 'c> { fn foo(&self, _: &'c [u32]) -> &'c u32; }
|
||
|
|
//~^ ERROR The attribute `lt_trait` is currently unknown to the compiler
|
||
|
|
trait TrTy<#[ty_trait] K> { fn foo(&self, _: K); }
|
||
|
|
//~^ ERROR The attribute `ty_trait` is currently unknown to the compiler
|
||
|
|
|
||
|
|
type TyLt<#[lt_type] 'd> = &'d u32;
|
||
|
|
//~^ ERROR The attribute `lt_type` is currently unknown to the compiler
|
||
|
|
type TyTy<#[ty_type] L> = (L, );
|
||
|
|
//~^ ERROR The attribute `ty_type` is currently unknown to the compiler
|
||
|
|
|
||
|
|
impl<#[lt_inherent] 'e> StLt<'e> { }
|
||
|
|
//~^ ERROR The attribute `lt_inherent` is currently unknown to the compiler
|
||
|
|
impl<#[ty_inherent] M> StTy<M> { }
|
||
|
|
//~^ ERROR The attribute `ty_inherent` is currently unknown to the compiler
|
||
|
|
|
||
|
|
impl<#[lt_impl_for] 'f> TrLt<'f> for StLt<'f> {
|
||
|
|
//~^ ERROR The attribute `lt_impl_for` is currently unknown to the compiler
|
||
|
|
fn foo(&self, _: &'f [u32]) -> &'f u32 { loop { } }
|
||
|
|
}
|
||
|
|
impl<#[ty_impl_for] N> TrTy<N> for StTy<N> {
|
||
|
|
//~^ ERROR The attribute `ty_impl_for` is currently unknown to the compiler
|
||
|
|
fn foo(&self, _: N) { }
|
||
|
|
}
|
||
|
|
|
||
|
|
fn f_lt<#[lt_fn] 'g>(_: &'g [u32]) -> &'g u32 { loop { } }
|
||
|
|
//~^ ERROR The attribute `lt_fn` is currently unknown to the compiler
|
||
|
|
fn f_ty<#[ty_fn] O>(_: O) { }
|
||
|
|
//~^ ERROR The attribute `ty_fn` is currently unknown to the compiler
|
||
|
|
|
||
|
|
impl<I> StTy<I> {
|
||
|
|
fn m_lt<#[lt_meth] 'h>(_: &'h [u32]) -> &'h u32 { loop { } }
|
||
|
|
//~^ ERROR The attribute `lt_meth` is currently unknown to the compiler
|
||
|
|
fn m_ty<#[ty_meth] P>(_: P) { }
|
||
|
|
//~^ ERROR The attribute `ty_meth` is currently unknown to the compiler
|
||
|
|
}
|
||
|
|
|
||
|
|
fn hof_lt<Q>(_: Q)
|
||
|
|
where Q: for <#[lt_hof] 'i> Fn(&'i [u32]) -> &'i u32
|
||
|
|
//~^ ERROR The attribute `lt_hof` is currently unknown to the compiler
|
||
|
|
{
|
||
|
|
}
|
||
|
|
|
||
|
|
fn main() {
|
||
|
|
|
||
|
|
}
|