impl T for Foo {
    default type T = Bar;
    default fn foo() {}
}