``` trait Peach {} impl Peach for bool { type Banana = (); } ``` results in ``` error[E0437]: type `Banana` is not a member of trait `Peach` --> <anon>:5:5 | 5 | type Banana = (); | ^^^^^^^^^^^^^^^^^ not a member of trait `Foo` ``` cc @jonathandturner