17 lines
238 B
Rust
17 lines
238 B
Rust
//@check-pass
|
|
#![feature(generic_const_exprs)]
|
|
#![allow(incomplete_features)]
|
|
|
|
struct Foo<const N: usize>
|
|
where
|
|
[(); N + 1]: ;
|
|
|
|
impl<const N: usize> Drop for Foo<N>
|
|
where
|
|
[(); N + 1]: ,
|
|
{
|
|
fn drop(&mut self) {}
|
|
}
|
|
|
|
fn main() {}
|