// check-pass #![allow(incomplete_features)] #![feature(adt_const_params)] pub struct Element; pub trait Node { fn elements(&self) -> impl Iterator; } fn main() {}