// run-pass trait Foo: Iterator {} trait Bar: Foo {} fn main() { let _: &dyn Bar; }