33 lines
1.1 KiB
Rust
33 lines
1.1 KiB
Rust
#![feature(generic_const_items)]
|
|
#![allow(incomplete_features)]
|
|
|
|
trait Trait<P> {
|
|
const A: ();
|
|
const B<const K: u64, const Q: u64>: u64;
|
|
const C<T>: T;
|
|
const D<const N: usize>: usize;
|
|
const E<'a>: &'a ();
|
|
|
|
const F: usize;
|
|
const G<T: PartialEq>: ();
|
|
}
|
|
|
|
impl<P> Trait<P> for () {
|
|
const A<T>: () = ();
|
|
//~^ ERROR constant `A` has 1 type parameter but its trait declaration has 0 type parameters
|
|
const B<const K: u64>: u64 = 0;
|
|
//~^ ERROR constant `B` has 1 const parameter but its trait declaration has 2 const parameters
|
|
const C<'a>: &'a str = "";
|
|
//~^ ERROR constant `C` has 0 type parameters but its trait declaration has 1 type parameter
|
|
const D<const N: u16>: u16 = N;
|
|
//~^ ERROR constant `D` has an incompatible generic parameter for trait `Trait`
|
|
const E: &'static () = &();
|
|
//~^ ERROR lifetime parameters or bounds on associated constant `E` do not match the trait declaration
|
|
|
|
const F: usize = 1024
|
|
where
|
|
P: Copy; //~ ERROR impl has stricter requirements than trait
|
|
const G<T: Eq>: () = (); //~ ERROR impl has stricter requirements than trait
|
|
}
|
|
|
|
fn main() {}
|