13 lines
190 B
Rust
13 lines
190 B
Rust
|
//@ known-bug: #131406
|
||
|
|
|
||
|
|
trait Owner {
|
||
|
|
const C<const N: u32>: u32 = N;
|
||
|
|
}
|
||
|
|
|
||
|
|
impl Owner for () {}
|
||
|
|
fn take0<const N: u64>(_: impl Owner<C<N> = { N }>) {}
|
||
|
|
|
||
|
|
fn main() {
|
||
|
|
take0::<128>(());
|
||
|
|
}
|