rust/tests/ui/traits/non_lifetime_binders/late-const-param-wf.rs
2024-07-20 19:45:24 -04:00

12 lines
232 B
Rust

#![feature(non_lifetime_binders)]
//~^ WARN the feature `non_lifetime_binders` is incomplete
fn b()
where
for<const C: usize> [(); C]: Copy,
//~^ ERROR late-bound const parameters cannot be used currently
{
}
fn main() {}