//@ ignore-auxiliary (used by `./two_files.rs`)

trait Foo { }

type Bar = dyn Foo;