2 #![allow(unused_variables)]
3 use std
::marker
::PhantomData
;
10 type TheAssociatedType
;
13 impl TheTrait
for () {
14 type TheAssociatedType
= ();
17 pub trait Shape
<P
: TheTrait
> {
22 impl<P
: TheTrait
> Shape
<P
> for TheType
<P
::TheAssociatedType
> {
26 let ball
= TheType { t: PhantomData }
;
27 let handle
: &dyn Shape
<()> = &ball
;