7 lines
135 B
Rust
7 lines
135 B
Rust
//@ check-pass
|
|
//@ compile-flags: -Znext-solver
|
|
|
|
fn main() {
|
|
let x: Box<dyn Iterator<Item = ()>> = Box::new(std::iter::empty());
|
|
}
|