| #![feature( | |
| adt_const_params, | |
| min_generic_const_args, | |
| macroless_generic_const_args, | |
| unsized_const_params | |
| )] | |
| #![allow(incomplete_features)] | |
| use std::marker::ConstParamTy; | |
| #[derive(Eq, PartialEq, ConstParamTy)] | |
| struct Foo; | |
| struct Bar; | |
| fn takes_tuple_with_array<const A: ([Foo; 1], u32)>() {} | |
| fn main() { | |
| takes_tuple_with_array::<{ ([Bar], 1) }>(); | |
| //~^ ERROR the constant `Bar` is not of type `Foo` | |
| } |