#![feature(associated_type_defaults)]
trait Foo {
    type Bar = ();
}