12 lines
233 B
Rust
12 lines
233 B
Rust
|
//@ known-bug: #137260
|
||
|
|
#![feature(generic_const_exprs)]
|
||
|
|
#![allow(incomplete_features)]
|
||
|
|
|
||
|
|
trait Iter<const N: usize = { 1 + true }> {}
|
||
|
|
|
||
|
|
fn needs_iter<const N: usize, T: Iter<N>>() {}
|
||
|
|
|
||
|
|
fn test() {
|
||
|
|
needs_iter::<1, dyn Iter<()>>();
|
||
|
|
}
|