blob: 0a30cc385ac43bc522f4a87221e2658d294775c0 (
plain)
1
2
3
4
5
6
7
8
9
10
|
// regression test for #133808.
#![feature(generic_const_exprs)]
#![feature(min_generic_const_args)]
#![allow(incomplete_features)]
#![crate_type = "lib"]
pub trait Foo {}
impl Foo for [u8; std::path::MAIN_SEPARATOR] {}
//~^ ERROR the constant `MAIN_SEPARATOR` is not of type `usize`
|
